2011-05-14 23:09:57 +02:00
|
|
|
diff -Nuar Isabelle2011/etc/settings Isabelle2011-fix/etc/settings
|
|
|
|
|
--- Isabelle2011/etc/settings 2011-01-30 13:02:18.000000000 +0100
|
|
|
|
|
+++ Isabelle2011-fix/etc/settings 2011-05-14 22:56:04.000000000 +0200
|
|
|
|
|
@@ -17,13 +17,7 @@
|
2009-12-11 18:00:52 +01:00
|
|
|
|
|
|
|
|
# Poly/ML 5.x (automated settings)
|
2010-12-01 22:29:20 +01:00
|
|
|
ML_PLATFORM="$ISABELLE_PLATFORM"
|
2011-05-14 23:09:57 +02:00
|
|
|
-ML_HOME="$(choosefrom \
|
2009-12-11 18:00:52 +01:00
|
|
|
- "$ISABELLE_HOME/contrib/polyml/$ML_PLATFORM" \
|
|
|
|
|
- "$ISABELLE_HOME/../polyml/$ML_PLATFORM" \
|
|
|
|
|
- "/usr/local/polyml/$ML_PLATFORM" \
|
|
|
|
|
- "/usr/share/polyml/$ML_PLATFORM" \
|
|
|
|
|
- "/opt/polyml/$ML_PLATFORM" \
|
2011-05-14 23:09:57 +02:00
|
|
|
- "")"
|
2009-12-11 18:00:52 +01:00
|
|
|
+ML_HOME=@ML_HOME@
|
|
|
|
|
ML_SYSTEM=$("$ISABELLE_HOME/lib/scripts/polyml-version")
|
|
|
|
|
ML_OPTIONS="-H 200"
|
|
|
|
|
ML_SOURCES="$ML_HOME/../src"
|
2011-05-14 23:09:57 +02:00
|
|
|
@@ -175,13 +169,7 @@
|
2009-12-11 18:00:52 +01:00
|
|
|
###
|
|
|
|
|
|
|
|
|
|
# Proof General home, look in a variety of places
|
2011-05-14 23:09:57 +02:00
|
|
|
-PROOFGENERAL_HOME="$(choosefrom \
|
2009-12-11 18:00:52 +01:00
|
|
|
- "$ISABELLE_HOME/contrib/ProofGeneral" \
|
|
|
|
|
- "$ISABELLE_HOME/../ProofGeneral" \
|
|
|
|
|
- "/usr/local/ProofGeneral" \
|
|
|
|
|
- "/usr/share/ProofGeneral" \
|
|
|
|
|
- "/opt/ProofGeneral" \
|
2011-05-14 23:09:57 +02:00
|
|
|
- "")"
|
2009-12-11 18:00:52 +01:00
|
|
|
+PROOFGENERAL_HOME=@PROOFGENERAL_HOME@
|
|
|
|
|
|
|
|
|
|
PROOFGENERAL_OPTIONS=""
|
|
|
|
|
#PROOFGENERAL_OPTIONS="-m no_brackets -m no_type_brackets"
|
