SOURCE-PATH : FLAG

SOURCE-PATH is a flag or parameter.
A list of pathnames with source files for TPS3.
SOURCE-PATH takes values of type DIRSPECLIST.
It belongs to subjects MAINTAIN .
Its default value is ()
Its current value is ("/home/theorem/tps/bin/" "/home/theorem/tps/lisp/" "/afs/andrew.cmu.edu/mcs/math/TPS/proofs/complete/" "/afs/andrew.cmu.edu/mcs/math/TPS/proofs/incomplete/").

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage