pgmlsymbolson: append Symbol.xsymbolsN at end!
authorwenzelm
Wed Nov 16 14:05:41 2005 +0100 (2005-11-16)
changeset 18174c6e3c6516a23
parent 18173 8ae6a9e7ff0e
child 18175 7858b777569a
pgmlsymbolson: append Symbol.xsymbolsN at end!
src/Pure/proof_general.ML
     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 *)