--- a/NEWS Sat Jul 28 13:01:48 2012 +0200
+++ b/NEWS Sat Jul 28 13:11:58 2012 +0200
@@ -72,6 +72,11 @@
without exception positions and advanced ML compiler/toplevel
configuration.
+* Discontinued special treatment of Proof General -- no longer guess
+PROOFGENERAL_HOME based on accidental file-system layout. Minor
+INCOMPATIBILITY: provide PROOFGENERAL_HOME and PROOFGENERAL_OPTIONS
+settings manually, or use a Proof General version that has been
+bundled as Isabelle component.
New in Isabelle2012 (May 2012)
--- a/etc/settings Sat Jul 28 13:01:48 2012 +0200
+++ b/etc/settings Sat Jul 28 13:11:58 2012 +0200
@@ -165,23 +165,6 @@
###
-### Proof General / Emacs
-###
-
-# Proof General home, look in a variety of places
-PROOFGENERAL_HOME="$(choosefrom \
- "$ISABELLE_HOME/contrib/ProofGeneral" \
- "$ISABELLE_HOME/../ProofGeneral" \
- "/usr/local/ProofGeneral" \
- "/usr/share/ProofGeneral" \
- "/opt/ProofGeneral" \
- "")"
-
-PROOFGENERAL_OPTIONS=""
-#PROOFGENERAL_OPTIONS="-m no_brackets -m no_type_brackets"
-
-
-###
### Rendering information
###