| Tue, 20 Jul 2010 21:57:26 +0200 | wenzelm | warning in proper transaction context; | changeset | files |
| 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 |