| Sat, 13 Nov 2010 22:33:07 +0100 | wenzelm | somewhat adhoc replacement for 'thus' and 'hence'; | changeset | files |
| Sat, 13 Nov 2010 21:46:24 +0100 | wenzelm | always print state of proof commands (notably "qed" etc.); | changeset | files |
| Sat, 13 Nov 2010 21:01:03 +0100 | wenzelm | simplified message: malformed symbols are fully internalized, i.e. can be printed without crashing; | changeset | files |