1.1 --- a/etc/settings	Mon Oct 29 14:09:10 2001 +0100
     1.2 +++ b/etc/settings	Mon Oct 29 17:22:18 2001 +0100
     1.3 @@ -173,6 +173,7 @@
     1.4    "/usr/share/emacs/ProofGeneral/isar/interface" \
     1.5    "$ISABELLE_INTERFACE")
     1.6  PROOFGENERAL_OPTIONS=""
     1.7 +#PROOFGENERAL_OPTIONS="-m no_brackets -m no_type_brackets -x true"
     1.8  
     1.9  # X-Symbol mode for Proof General
    1.10  XSYMBOL_HOME=$(choosefrom \