USE_ETEX=no
# Causes that e-TeX is called to compile TeX sources. Default is to call
# the original TeX binary designed by D. E. Knuth. (Take care when changing
# this entry, for e-TeX would be called in extended mode by default, where
# it's not fully compatible to TeX!)
TEXPDFMODE=1
# Tells Proof how to process tex-files in order to end up with a pdf-file.
# Three different methods are currently implemented. Choose the one that fits
# best to your needs!
# 1 : call Han The Thanh's 'pdftex' (.tex ===================> .pdf)
# 2 : call Mark A. Wicks's 'dvipdfm' (.tex --> .dvi ==========> .pdf)
# 3 : call L. Peter Deutsch's 'Ghostscript' (.tex --> .dvi --> .ps ==> .pdf)
DVIPDFMODE=1
# Tells Proof how to process dvi-files in order to end up with a pdf-file.
# Two different methods are currently implemented. Choose the one that fits
# best to your needs!
# 1 : call Mark A. Wicks's 'dvipdfm' (.dvi ==========> .pdf)
# 2 : call L. Peter Deutsch's 'Ghostscript' (.dvi --> .ps ==> .pdf)
REPORTMODE=errorstopmode
# This entry provides an interface to TeX's error reporting facilities.
# Suitable values are 'errorstopmode', 'scrollmode', 'nonstopmode' and
# 'batchmode'. (see TeX's manual page on what this exactly means...)
#FORMATFILEDIR='~/.TeX'
# This variable denotes the location where Proof expects to find the current
# formatfile 'mylatex'. The default is to put it in the current working di-
# rectory. Uncomment this line if you want your formatfile to be unique for
# all documents you work on.
USE_RCS=no
# Causes that RCS (Revision Control System) software (if available) is used
# to save your document. This is useful especially when editing larger
# documents where the need to restore an elder, well defined revision might
# arise. A second advantage of this method lies in the fact that it saves
# diskspace cause only file changes are saved to disk and not whole files.
# (For further information, please take a look at 'rcsintro' manual page!)
BACKUP_FILES=7
# This option takes effect only if you don't use RCS to backup your docu-
# ment. In this case, each time you exit, a new back-up copy of your
# sourcefile would be created, where BACKUP_FILES denotes the maximum
# number of back-up files, that are simultaniously kept in the working
# directory. Back-up files are marked by a filename suffix showing their
# chronological origin, i. e. larger file indices denote elder files.
PROCSTAT='ps aw'
# This command is used for process status reporting. (Depends on the sys-
# tem you are running! On Linux platforms the default setting should work
# properly. System V and BSD might need a slightly different setting.)
# The sections below need to be modified only if you wish to adjust the
# startup behaviour of a particular auxiliary program Proof calls.
# You may enter a conversion routine of your own here if you need a particular
# output file format Proof does not provide. To do so, simply put your code in
# an ordinary shell function and use positional parameter $1 to access the
# sourcecode you'd like to process. Proof expects the target file to wear the
# same basename. Its filename suffix however is derived from a string variable
# called 'ftypes', which thus has to be declared within the shell function
# referred to!
# The meaning of 'ftypes' is very straightforward. The left hand entries
# denote the filename suffices of less important files that should be deleted
# when Proof exits (this entry is optional), whereas the right hand side
# denotes the filename suffix of the target file being produced. So
# ftypes='log,aux->dvi' for instance would have Proof treat $1.log, $1.aux
# like auxiliary files (These files are deleted when Proof exits, unless
# the '-a' option is given!) and $1.dvi like the target file that has to be
# left untouched. If you need temporary files, make sure that the filename
# prefix is 'tmp'! Those files are deleted too on exit. Use Proof's '-u'
# option to call conversion routine you added!
# Two sample conversion routines:
function A5 # generates DIN A5 booklet
{
ftypes='log,aux,dvi->ps'
