1.1 --- a/etc/settings	Tue Sep 16 17:16:25 2008 +0200
     1.2 +++ b/etc/settings	Tue Sep 16 17:16:27 2008 +0200
     1.3 @@ -193,7 +193,6 @@
     1.4  # Fallback: the null interface (pass-through to raw isabelle process).
     1.5  ISABELLE_INTERFACE=none
     1.6  
     1.7 -# Proof General path, look in a variety of places
     1.8  ISABELLE_INTERFACE=$(choosefrom \
     1.9    "$ISABELLE_HOME/contrib/ProofGeneral/isar/interface" \
    1.10    "$ISABELLE_HOME/../ProofGeneral/isar/interface" \
    1.11 @@ -203,12 +202,21 @@
    1.12    "/usr/share/emacs/ProofGeneral/isar/interface" \
    1.13    "$ISABELLE_INTERFACE")
    1.14  
    1.15 +# Proof General home, look in a variety of places
    1.16 +PROOFGENERAL_HOME=$(choosefrom \
    1.17 +  "$ISABELLE_HOME/contrib/ProofGeneral" \
    1.18 +  "$ISABELLE_HOME/../ProofGeneral" \
    1.19 +  "/usr/local/ProofGeneral" \
    1.20 +  "/usr/share/ProofGeneral" \
    1.21 +  "/opt/ProofGeneral" \
    1.22 +  "")
    1.23 +
    1.24  PROOFGENERAL_OPTIONS=""
    1.25  #PROOFGENERAL_OPTIONS="-m no_brackets -m no_type_brackets -x true -p emacs22"
    1.26  
    1.27  # Automatic setup of remote fonts
    1.28  #XSYMBOL_INSTALLFONTS="xset fp+ tcp/isafonts.informatik.tu-muenchen.de:7200"
    1.29 -
    1.30 +XSYMBOL_INSTALLFONTS=""
    1.31  
    1.32  ###
    1.33  ### External reasoning tools