Tue, 20 Jul 2010 21:49:39 +0200 | wenzelm | SML/NJ: refrain from modifying toplevel pp for type string -- unclear if it could work here; | changeset | files |
Tue, 20 Jul 2010 21:07:23 +0200 | wenzelm | avoid duplicate printing of 'theory' state (cf. 173974e07dea); | changeset | files |
Tue, 20 Jul 2010 20:56:28 +0200 | wenzelm | toplevel pp for Proof.state and Toplevel.state; | changeset | files |