diff -r f993cbffc42a -r 0642cbb60c98 etc/settings
--- 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
 ###