ED-COMMAND : ARGTYPE

ED-COMMAND is an argument type.
A list with editor commands.
This is mainly useful as resulttype for editor operations like EDSEARCH.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage