1.1 --- a/etc/settings	Sun Nov 30 12:58:20 2008 +0100
     1.2 +++ b/etc/settings	Sun Nov 30 14:03:45 2008 +0100
     1.3 @@ -187,23 +187,6 @@
     1.4  
     1.5  
     1.6  ###
     1.7 -### Interfaces
     1.8 -###
     1.9 -
    1.10 -# Fallback: the null interface (pass-through to raw isabelle process).
    1.11 -ISABELLE_INTERFACE=none
    1.12 -
    1.13 -ISABELLE_INTERFACE=$(choosefrom \
    1.14 -  "$ISABELLE_HOME/contrib/ProofGeneral/isar/interface" \
    1.15 -  "$ISABELLE_HOME/../ProofGeneral/isar/interface" \
    1.16 -  "/usr/local/ProofGeneral/isar/interface" \
    1.17 -  "/usr/share/ProofGeneral/isar/interface" \
    1.18 -  "/opt/ProofGeneral/isar/interface" \
    1.19 -  "/usr/share/emacs/ProofGeneral/isar/interface" \
    1.20 -  "$ISABELLE_INTERFACE")
    1.21 -
    1.22 -
    1.23 -###
    1.24  ### Proof General / Emacs
    1.25  ###
    1.26