COMPRESS : INFO

COMPRESS is a flag setting or other piece of information.
A flag setting for TURNSTILE-INDENT-AUTO.
Similar to VARY, but also removes other spaces in the proof (e.g. around
dots, and between line numbers and hypotheses).

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage