diff -r 98a1bb0bfd3a -r ad67e8d2c75f etc/settings
--- a/etc/settings	Mon Oct 29 14:09:10 2001 +0100
+++ b/etc/settings	Mon Oct 29 17:22:18 2001 +0100
@@ -173,6 +173,7 @@
   "/usr/share/emacs/ProofGeneral/isar/interface" \
   "$ISABELLE_INTERFACE")
 PROOFGENERAL_OPTIONS=""
+#PROOFGENERAL_OPTIONS="-m no_brackets -m no_type_brackets -x true"
 
 # X-Symbol mode for Proof General
 XSYMBOL_HOME=$(choosefrom \