equal
deleted
inserted
replaced
17 | Setpref of { name:string, prefcategory:string option, value:string } |
17 | Setpref of { name:string, prefcategory:string option, value:string } |
18 | Getpref of { name:string, prefcategory:string option } |
18 | Getpref of { name:string, prefcategory:string option } |
19 (* prover control *) |
19 (* prover control *) |
20 | Proverinit of { } |
20 | Proverinit of { } |
21 | Proverexit of { } |
21 | Proverexit of { } |
22 | Startquiet of { } |
|
23 | Stopquiet of { } |
|
24 | Pgmlsymbolson of { } |
|
25 | Pgmlsymbolsoff of { } |
|
26 | Setproverflag of { flagname:string, value: bool } |
22 | Setproverflag of { flagname:string, value: bool } |
27 (* improper proof commands: control proof state *) |
23 (* improper proof commands: control proof state *) |
28 | Dostep of { text: string } |
24 | Dostep of { text: string } |
29 | Undostep of { times: int } |
25 | Undostep of { times: int } |
30 | Redostep of { } |
26 | Redostep of { } |
86 | Setpref of { name:string, prefcategory:string option, value:string } |
82 | Setpref of { name:string, prefcategory:string option, value:string } |
87 | Getpref of { name:string, prefcategory:string option } |
83 | Getpref of { name:string, prefcategory:string option } |
88 (* prover control *) |
84 (* prover control *) |
89 | Proverinit of { } |
85 | Proverinit of { } |
90 | Proverexit of { } |
86 | Proverexit of { } |
91 | Startquiet of { } |
|
92 | Stopquiet of { } |
|
93 | Pgmlsymbolson of { } |
|
94 | Pgmlsymbolsoff of { } |
|
95 | Setproverflag of { flagname:string, value: bool } |
87 | Setproverflag of { flagname:string, value: bool } |
96 (* improper proof commands: control proof state *) |
88 (* improper proof commands: control proof state *) |
97 | Dostep of { text: string } |
89 | Dostep of { text: string } |
98 | Undostep of { times: int } |
90 | Undostep of { times: int } |
99 | Redostep of { } |
91 | Redostep of { } |
184 prefcategory = prefcat_attr attrs, |
176 prefcategory = prefcat_attr attrs, |
185 value = xmltext data } |
177 value = xmltext data } |
186 (* provercontrol *) |
178 (* provercontrol *) |
187 | "proverinit" => Proverinit { } |
179 | "proverinit" => Proverinit { } |
188 | "proverexit" => Proverexit { } |
180 | "proverexit" => Proverexit { } |
189 | "startquiet" => Startquiet { } |
|
190 | "stopquiet" => Stopquiet { } |
|
191 | "pgmlsymbolson" => Pgmlsymbolson { } |
|
192 | "pgmlsymbolsoff" => Pgmlsymbolsoff { } |
|
193 | "setproverflag" => Setproverflag { flagname = flagname_attr attrs, |
181 | "setproverflag" => Setproverflag { flagname = flagname_attr attrs, |
194 value = read_pgipbool (value_attr attrs) } |
182 value = read_pgipbool (value_attr attrs) } |
195 (* improperproofcmd: improper commands not in script *) |
183 (* improperproofcmd: improper commands not in script *) |
196 | "dostep" => Dostep { text = xmltext data } |
184 | "dostep" => Dostep { text = xmltext data } |
197 | "undostep" => Undostep { times = times_attr attrs } |
185 | "undostep" => Undostep { times = times_attr attrs } |