SAIL : DEVICE-STYLE

SAIL is a style.
SAIL stands for a file (or terminal) with SAIL characters.

TPS documentation homepage


SAIL : TPS-FILE

SAIL is a file.
Defines SAIL style printing and parsing.
/home/theorem/tps/bin/sail.fasl is part of module SAIL-WFF.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage