next up previous contents index
Next: Browser Commands Up: Interactive Interface Commands Previous: General Commands

Saving the Knowledge-base

tabular808


Micheal S. Hewett
Tue Oct 29 11:15:33 CST 1996