src/Pure/ProofGeneral/pgip_input.ML
changeset 22083 4bfd987b005c
parent 21940 fbd068dd4d29
child 22161 b2117f4f2d39
     1.1 --- a/src/Pure/ProofGeneral/pgip_input.ML	Wed Jan 17 19:29:55 2007 +0100
     1.2 +++ b/src/Pure/ProofGeneral/pgip_input.ML	Thu Jan 18 11:16:49 2007 +0100
     1.3 @@ -177,6 +177,7 @@
     1.4     | "startquiet"     => Startquiet { }
     1.5     | "stopquiet"      => Stopquiet { }
     1.6     | "pgmlsymbolson"  => Pgmlsymbolson { }
     1.7 +   | "pgmlsymbolsoff" => Pgmlsymbolsoff { }
     1.8     (* improperproofcmd: improper commands not in script *)
     1.9     | "dostep"         => Dostep    { text = xmltext data }
    1.10     | "undostep"       => Undostep  { times = times_attr attrs }