1.1 --- a/etc/settings	Sat Jul 28 13:01:48 2012 +0200
     1.2 +++ b/etc/settings	Sat Jul 28 13:11:58 2012 +0200
     1.3 @@ -165,23 +165,6 @@
     1.4  
     1.5  
     1.6  ###
     1.7 -### Proof General / Emacs
     1.8 -###
     1.9 -
    1.10 -# Proof General home, look in a variety of places
    1.11 -PROOFGENERAL_HOME="$(choosefrom \
    1.12 -  "$ISABELLE_HOME/contrib/ProofGeneral" \
    1.13 -  "$ISABELLE_HOME/../ProofGeneral" \
    1.14 -  "/usr/local/ProofGeneral" \
    1.15 -  "/usr/share/ProofGeneral" \
    1.16 -  "/opt/ProofGeneral" \
    1.17 -  "")"
    1.18 -
    1.19 -PROOFGENERAL_OPTIONS=""
    1.20 -#PROOFGENERAL_OPTIONS="-m no_brackets -m no_type_brackets"
    1.21 -
    1.22 -
    1.23 -###
    1.24  ### Rendering information
    1.25  ###
    1.26