DEFAULT-LIB-DIR : FLAG

DEFAULT-LIB-DIR is a flag or parameter.
The list of writeable directories containing
library files. All of the directories in this list ought to be
library directories to which the user has write access.
See also BACKUP-LIB-DIR and SHOW-ALL-LIBOBJECTS.
DEFAULT-LIB-DIR takes values of type DIRSPECLIST.
It belongs to subjects LIBRARY .
Its default value is ()
Its current value is ().

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage