# HG changeset patch
# User wenzelm
# Date 889456524 -3600
# Node ID 580bf0f3ef799ae9317c945dd4b3772a87046b35
# Parent  abe6f28a38c138b0e91140ed9ead95e670e20491
replaced $LOGNAME by $USER;

diff -r abe6f28a38c1 -r 580bf0f3ef79 etc/settings
--- a/etc/settings	Mon Mar 09 16:14:46 1998 +0100
+++ b/etc/settings	Mon Mar 09 16:15:24 1998 +0100
@@ -61,7 +61,7 @@
 ISABELLE_TOOLS=$ISABELLE_HOME/lib/Tools
 
 # Location for temporary files (should be on a local file system).
-ISABELLE_TMP_PREFIX=/tmp/isabelle-$LOGNAME
+ISABELLE_TMP_PREFIX=/tmp/isabelle-$USER
 
 
 # Heap file locations. ML system identifier appended automatically!