SLIDES-TURNSTILE-INDENT : FLAG

SLIDES-TURNSTILE-INDENT is a flag or parameter.
Number of columns (from leftmargin) that turnstile should be
indented when making slides. Compare TURNSTILE-INDENT.
This flag and SLIDES-TURNSTYLE-INDENT are synonymous.
SLIDES-TURNSTILE-INDENT takes values of type INTEGER+.
It belongs to subjects OTL-VARS .
Its default value is 4
Its current value is 4.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage