1.1 --- a/src/Pure/proof_general.ML Tue Nov 15 14:08:32 2005 +0100
1.2 +++ b/src/Pure/proof_general.ML Wed Nov 16 14:05:41 2005 +0100
1.3 @@ -1218,7 +1218,8 @@
1.4 | "proverexit" => isarcmd "quit"
1.5 | "startquiet" => isarcmd "disable_pr"
1.6 | "stopquiet" => isarcmd "enable_pr"
1.7 - | "pgmlsymbolson" => change print_mode (insert (op =) Symbol.xsymbolsN)
1.8 + | "pgmlsymbolson" => change print_mode (fn mode =>
1.9 + remove (op =) Symbol.xsymbolsN mode @ [Symbol.xsymbolsN])
1.10 | "pgmlsymbolsoff" => change print_mode (remove (op =) Symbol.xsymbolsN)
1.11 (* properproofcmd: proper commands which belong in script *)
1.12 (* FIXME: next ten are by Eclipse interface, can be removed in favour of dostep *)