equal
deleted
inserted
replaced
186 \item[\settdx{ISABELLE_DOCS}] is a colon separated list of directories with |
186 \item[\settdx{ISABELLE_DOCS}] is a colon separated list of directories with |
187 documentation files. |
187 documentation files. |
188 |
188 |
189 \item[\settdx{DVI_VIEWER}] specifies the command to be used for displaying |
189 \item[\settdx{DVI_VIEWER}] specifies the command to be used for displaying |
190 \texttt{dvi} files. |
190 \texttt{dvi} files. |
|
191 |
|
192 \item[\settdx{PRINT_COMMAND}] specifies the standard printer spool command, |
|
193 which is expected to accept PS files. |
191 |
194 |
192 \item[\settdx{ISABELLE_TMP_PREFIX}*] is the prefix from which any running |
195 \item[\settdx{ISABELLE_TMP_PREFIX}*] is the prefix from which any running |
193 \texttt{isabelle} process derives an individual directory for temporary |
196 \texttt{isabelle} process derives an individual directory for temporary |
194 files. The default is somewhere in \texttt{/tmp}. |
197 files. The default is somewhere in \texttt{/tmp}. |
195 |
198 |