--- a/doc-src/System/basics.tex Fri Jan 09 14:02:34 1998 +0100
+++ b/doc-src/System/basics.tex Fri Jan 09 14:03:39 1998 +0100
@@ -193,7 +193,7 @@
\item[\settdx{DVI_VIEWER}] specifies the command to be used for
displaying \texttt{dvi} files.
-
+
\item[\settdx{ISABELLE_INSTALL_FONTS}] determines the way that the
Isabelle symbol fonts are installed into your currently running X11
display server. X11 fonts are a non-trivial issue, see
@@ -201,9 +201,8 @@
\item[\settdx{ISABELLE_TMP_PREFIX}] is the prefix from which any
\texttt{isabelle} session derives an individual directory for
- temporary files. The default value of \texttt{ISABELLE_TMP_PREFIX}
- is \texttt{/tmp/isabelle}; this should not need to be changed under
- normal circumstances.
+ temporary files. The default is somewhere in \texttt{/tmp}; this
+ should not need to be changed under normal circumstances.
\item[\settdx{ISABELLE_INTERFACE}] is an identifier that specifies the
actual user interface that the capital \texttt{Isabelle} should