# HG changeset patch
# User wenzelm
# Date 884351019 -3600
# Node ID 3030c5b18580fd0a20df674b67d419f18dd0068c
# Parent  271753a7ce2427463d954df826aa188df798bff3
tuned ISABELLE_TMP_PREFIX;

diff -r 271753a7ce24 -r 3030c5b18580 doc-src/System/basics.tex
--- 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