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