| 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 |
| Sat, 13 Nov 2010 20:49:02 +0100 | wenzelm | tuned message; | changeset | files |
| Sat, 13 Nov 2010 20:20:05 +0100 | wenzelm | proper escape in regex; | changeset | files |
| Sat, 13 Nov 2010 20:13:35 +0100 | wenzelm | report malformed symbols; | changeset | files |