next up previous contents index
Next: Saving the Knowledge-base Up: Interactive Interface Commands Previous: Interactive Interface Commands

General Commands

tabular791


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