Option          Default              Meaning
======          =======              =======

INPUT           = "TEXPUT.DVI"       DVI file name

COPIES          = 1                  *LASER* copies to be lasered
SYMBOLS         =10000               Maximum characters/rulers per page
MAGnification   = 0                  If non-zero, over-rides value in DVI file
LEFT            = 0                  move left margin {in steps of 1/300th
TOP             = 0                  move top  margin {of an inch.

DEBUG           off                  Print debugging info
ERRORS          on                   Print error messages
PHASE           on                   Print what the machine is doing
FONTS           off                  Print information on fonts loaded
PAGES           off                  Prints a list of page numbers
INFO            on                   Print "useful" information
PAUSE           off                  *LASER* pause after each page
QUIET           off                  Don't print any info
BACK            off                  *LASER* print pages back to back
VCENTre         off                  Centre page vertically
HCENTre         off                  Center page horizontally
DYNamic         off                  Force dynamic bit-map loading.