SCRIBE : DEVICE-STYLE

SCRIBE is a style.
SCRIBE stands for a file to be processed by SCRIBE before printing.

TPS documentation homepage


SCRIBE : TPS-FILE

SCRIBE is a file.
Establishes SCRIBE style printing.
/home/theorem/tps/bin/scribe.fasl is part of module LOGIC-SCRIBE.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage