191 \item[\settdx{ISABELLE_DOCS}] is a colon separated list of directories |
191 \item[\settdx{ISABELLE_DOCS}] is a colon separated list of directories |
192 with documentation files. |
192 with documentation files. |
193 |
193 |
194 \item[\settdx{DVI_VIEWER}] specifies the command to be used for |
194 \item[\settdx{DVI_VIEWER}] specifies the command to be used for |
195 displaying \texttt{dvi} files. |
195 displaying \texttt{dvi} files. |
196 |
196 |
197 \item[\settdx{ISABELLE_INSTALL_FONTS}] determines the way that the |
197 \item[\settdx{ISABELLE_INSTALL_FONTS}] determines the way that the |
198 Isabelle symbol fonts are installed into your currently running X11 |
198 Isabelle symbol fonts are installed into your currently running X11 |
199 display server. X11 fonts are a non-trivial issue, see |
199 display server. X11 fonts are a non-trivial issue, see |
200 \S\ref{sec:tool-installfonts} for more information. |
200 \S\ref{sec:tool-installfonts} for more information. |
201 |
201 |
202 \item[\settdx{ISABELLE_TMP_PREFIX}] is the prefix from which any |
202 \item[\settdx{ISABELLE_TMP_PREFIX}] is the prefix from which any |
203 \texttt{isabelle} session derives an individual directory for |
203 \texttt{isabelle} session derives an individual directory for |
204 temporary files. The default value of \texttt{ISABELLE_TMP_PREFIX} |
204 temporary files. The default is somewhere in \texttt{/tmp}; this |
205 is \texttt{/tmp/isabelle}; this should not need to be changed under |
205 should not need to be changed under normal circumstances. |
206 normal circumstances. |
|
207 |
206 |
208 \item[\settdx{ISABELLE_INTERFACE}] is an identifier that specifies the |
207 \item[\settdx{ISABELLE_INTERFACE}] is an identifier that specifies the |
209 actual user interface that the capital \texttt{Isabelle} should |
208 actual user interface that the capital \texttt{Isabelle} should |
210 invoke. Currently available are \texttt{none}, \texttt{xterm} and |
209 invoke. Currently available are \texttt{none}, \texttt{xterm} and |
211 \texttt{emacs}. See \S\ref{sec:interface} for more details. |
210 \texttt{emacs}. See \S\ref{sec:interface} for more details. |