MIN : INFO

MIN is a flag setting or other piece of information.
A flag setting for TURNSTILE-INDENT-AUTO.
When printing a proof, fixes the turnstiles as far to the left as possible
while still putting it in the same column on every line.
Lines with large numbers of hypotheses will push the column of turnstiles
far to the right of the page; if it moves too far to the right, then
this flag will be treated as though it were set to FIX instead.

MIN is also a setting for a good many other flags, where it is mostly
self-explanatory.

ETPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage