--- a/etc/settings Wed Apr 20 14:18:33 2005 +0200
+++ b/etc/settings Wed Apr 20 16:03:17 2005 +0200
@@ -120,14 +120,14 @@
ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps"
# Heap output location. ML system identifier is appended automatically later on.
-if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
- #Isabelle build tells us to store heaps etc. within the distribution.
- ISABELLE_OUTPUT="$ISABELLE_HOME/heaps"
- ISABELLE_BROWSER_INFO="$ISABELLE_HOME/browser_info"
-else
+#if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
+# Isabelle build tells us to store heaps etc. within the distribution.
+ # ISABELLE_OUTPUT="$ISABELLE_HOME/heaps"
+ # ISABELLE_BROWSER_INFO="$ISABELLE_HOME/browser_info"
+#else
ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
-fi
+#fi
# Site settings check -- just to make it a little bit harder to copy this file!
[ -n "$ISABELLE_SITE_SETTINGS_PRESENT" ] && \
@@ -181,7 +181,8 @@
ISAMODE_OPTIONS=""
# Proof General path, look in a variety of places
-ISABELLE_INTERFACE=$(choosefrom \
+ISABELLE_INTERFACE=$(choosefrom\
+ "/homes/clq20/IsabelleCVS/isabelle/ProofGeneral/isar/interface"\
"$ISABELLE_HOME/contrib/ProofGeneral/isar/interface" \
"$ISABELLE_HOME/../ProofGeneral/isar/interface" \
"/usr/share/ProofGeneral/isar/interface" \