Mon, 08 Aug 2011 20:21:49 +0200 | wenzelm | added Reconstruct.proof_of convenience; | changeset | files |
Mon, 08 Aug 2011 19:59:35 +0200 | wenzelm | ship message in one piece; | changeset | files |
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 |
Mon, 08 Aug 2011 13:48:38 +0200 | wenzelm | updated imports; | changeset | files |