| changeset 11981 | ad67e8d2c75f |
| parent 11800 | 5f84c687ba06 |
| child 12476 | eca43a50e4a4 |
--- 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 \