Next: Theory Loading and Saving
Up: Appendix: Reference for Individual
Previous: Appendix: Reference for Individual
- 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