| Mon, 08 Aug 2011 17:23:15 +0200 | wenzelm | misc tuning -- eliminated old-fashioned rep_thm; | changeset | files |
| Mon, 08 Aug 2011 16:38:59 +0200 | wenzelm | modernized strcture Proof_Checker; | changeset | files |
| Mon, 08 Aug 2011 16:09:34 +0200 | wenzelm | less ambitious use of AttributedString, for proper caret painting within \<^sup>\<foobar>; | changeset | files |