next up previous contents
Next: Theory Loading and Saving Up: Appendix: Reference for Individual Previous: Appendix: Reference for Individual

Interfaces

walk
The ``walk'' command invokes a new user interface independent of ML (this is probably its only virtue!). Commands in the ``walk'' interface are single characters. Arguments (which may have spaces in them) are separated by tabs. The character versions of commands are noted below under each command. To quit the walk interface type ``q'' (to quit and save), ``Q'' (to quit without saving). For help type ``h''; a list of character commands is displayed.

noml
The ``noml'' command implements an interface independent of ML for which command format is almost the same; the unit type parameter required by ML for commands with no real parameters is optional at the noml interface. One does not get messages from ML, but one also does not have a prompt, which may be distracting. noml uses the same file parser as the script command.



Randall Holmes
Fri Sep 5 16:28:58 MDT 1997