changeset 4544 | bd3307d3e974 |
parent 4432 | a8f5293f7cbc |
child 4569 | 4fd775d5456f |
--- 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!