| Mon, 07 Dec 2009 22:41:15 +0100 | wenzelm | simplified treatment of Isabelle fonts, via Isabelle_System.register_fonts (requires Java 1.6); | changeset | files |
| Mon, 07 Dec 2009 22:40:01 +0100 | wenzelm | removed ScrollerDockable, which is based on discontinued Flying Saucer renderer; | changeset | files |
| Mon, 07 Dec 2009 00:05:21 +0100 | wenzelm | use IsabelleText font; | changeset | files |
| Sun, 06 Dec 2009 20:50:07 +0100 | wenzelm | reduced logging; | changeset | files |
| Fri, 04 Dec 2009 23:10:11 +0100 | wenzelm | tuned message markup; | changeset | files |
| Fri, 04 Dec 2009 23:07:40 +0100 | wenzelm | plain results, no markup here; | changeset | files |
| Fri, 04 Dec 2009 17:14:44 +0100 | wenzelm | basic setup for Cobra HTML renderer; | changeset | files |
| Fri, 04 Dec 2009 17:14:16 +0100 | wenzelm | results: XML.Tree; | changeset | files |
| Sat, 14 Nov 2009 16:53:49 +0100 | wenzelm | basic platform update; | changeset | files |
| Thu, 17 Sep 2009 14:15:54 +0200 | wenzelm | Prover: private Actor; | changeset | files |
| Wed, 16 Sep 2009 22:01:11 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 16 Sep 2009 17:13:14 +0200 | wenzelm | misc tuning; | changeset | files |
| Wed, 16 Sep 2009 00:14:01 +0200 | wenzelm | Linear_Set.append_after; | changeset | files |
| Tue, 15 Sep 2009 21:14:09 +0200 | wenzelm | tuned file name; | changeset | files |
| Tue, 15 Sep 2009 20:46:46 +0200 | wenzelm | tuned file name; | changeset | files |