# HG changeset patch
# User wenzelm
# Date 884350908 -3600
# Node ID bd3307d3e974ce05cc3188aa22946861d82cbc87
# Parent  82a45bdd0e80c8bde76874aaeb702592a47f678c
ISABELLE_TMP_PREFIX: $LOGNAME

diff -r 82a45bdd0e80 -r bd3307d3e974 etc/settings
--- a/etc/settings	Fri Jan 09 13:49:20 1998 +0100
+++ b/etc/settings	Fri Jan 09 14:01:48 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
+ISABELLE_TMP_PREFIX=/tmp/isabelle-$LOGNAME
 
 
 # Heap file locations. ML system identifier appended automatically!