--- a/etc/settings Sun Nov 30 12:58:20 2008 +0100
+++ b/etc/settings Sun Nov 30 14:03:45 2008 +0100
@@ -187,23 +187,6 @@
###
-### Interfaces
-###
-
-# Fallback: the null interface (pass-through to raw isabelle process).
-ISABELLE_INTERFACE=none
-
-ISABELLE_INTERFACE=$(choosefrom \
- "$ISABELLE_HOME/contrib/ProofGeneral/isar/interface" \
- "$ISABELLE_HOME/../ProofGeneral/isar/interface" \
- "/usr/local/ProofGeneral/isar/interface" \
- "/usr/share/ProofGeneral/isar/interface" \
- "/opt/ProofGeneral/isar/interface" \
- "/usr/share/emacs/ProofGeneral/isar/interface" \
- "$ISABELLE_INTERFACE")
-
-
-###
### Proof General / Emacs
###