| changeset 4708 | 580bf0f3ef79 |
| parent 4579 | 4f1e445b20d7 |
| child 5387 | 8f1157817bb6 |
--- 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!