AUTO : INFO

AUTO is a flag setting or other piece of information.
A flag setting for TACMODE.
Apply tactics in automatic mode (i.e. without user input).

TPS documentation homepage


AUTO : LISP-PACK

AUTO is a Lisp package.
The automatic component, including unification and matingsearch.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage