equal
deleted
inserted
replaced
59 |
59 |
60 # Where to look for isabelle tools (multiple dirs separated by ':'). |
60 # Where to look for isabelle tools (multiple dirs separated by ':'). |
61 ISABELLE_TOOLS=$ISABELLE_HOME/lib/Tools |
61 ISABELLE_TOOLS=$ISABELLE_HOME/lib/Tools |
62 |
62 |
63 # Location for temporary files (should be on a local file system). |
63 # Location for temporary files (should be on a local file system). |
64 ISABELLE_TMP_PREFIX=/tmp/isabelle-$LOGNAME |
64 ISABELLE_TMP_PREFIX=/tmp/isabelle-$USER |
65 |
65 |
66 |
66 |
67 # Heap file locations. ML system identifier appended automatically! |
67 # Heap file locations. ML system identifier appended automatically! |
68 |
68 |
69 ISABELLE_PATH=$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps |
69 ISABELLE_PATH=$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps |