O : EDOP

O is an editor command.
Invert PRINTEDTFLAG, that is switch automatic recording of wffs
in a file either on or off. When switching on, the current wff will be
written to the PRINTEDTFILE. Notice that the resulting file will be in
Scribe format; if you want something you can reload into TPS, then use
the SAVE command.
 
The command format for O is:

<Ed>O

TPS documentation homepage


O : MATEOP

O is a mating-search command.
Invert PRINTMATEFLAG, that is switch automatic recording of mating-search
into a file either on or off. This has not actually been implemented!
 
The command format for O is:

<Mate>O

TPS documentation homepage


O : TYPECONST

O is a typeconstant.
The type of truth values.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage