# HG changeset patch
# User wenzelm
# Date 880996958 -3600
# Node ID e567f3425267e5b82bac2955e0bf5a909af8ea3d
# Parent  1d326b82685147f3882b1fb3a2f5332a6e922cfe
ISABELLE_TMP_PREFIX;

diff -r 1d326b826851 -r e567f3425267 etc/settings
--- a/etc/settings	Mon Dec 01 18:22:02 1997 +0100
+++ b/etc/settings	Mon Dec 01 18:22:38 1997 +0100
@@ -50,12 +50,15 @@
 # Where to look for isabelle tools (multiple dirs separated by ':').
 ISABELLE_TOOLS=$ISABELLE_HOME/lib/Tools
 
+# Location for temporary files (should be on a local file system).
+ISABELLE_TMP_PREFIX=/tmp/isabelle
+
 
 # Heap file locations. ML system identifier appended automatically!
 
 ISABELLE_PATH=$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps
 
-#A hack! 'build' tells us store heaps within the distribution.
+#A hack! Isabelle build tells us to store heaps within the distribution.
 if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
   ISABELLE_OUTPUT=$ISABELLE_HOME/heaps
   ISABELLE_BROWSER_INFO=$ISABELLE_HOME/browser_info