| Tue, 08 Dec 2009 23:45:42 +0100 | wenzelm | renamed "raw output" to "protocol"; | changeset | files |
| Tue, 08 Dec 2009 23:18:07 +0100 | wenzelm | proper actor wiring for raw process output; | changeset | files |
| Tue, 08 Dec 2009 23:15:59 +0100 | wenzelm | misc tuning; | changeset | files |
| Tue, 08 Dec 2009 22:38:32 +0100 | wenzelm | prefer options from running application; | changeset | files |
| Tue, 08 Dec 2009 21:54:34 +0100 | wenzelm | more precise messages; | changeset | files |
| Tue, 08 Dec 2009 21:49:30 +0100 | wenzelm | back to low-level JPanel, required for addNotify/removeNotify; | changeset | files |
| Tue, 08 Dec 2009 21:48:12 +0100 | wenzelm | added properties_changed event bus; | changeset | files |
| Tue, 08 Dec 2009 21:01:16 +0100 | wenzelm | provide dummy URL; | changeset | files |
| Tue, 08 Dec 2009 20:14:08 +0100 | wenzelm | generic HTML_Panel -- specific Results_Dockable; | changeset | files |
| Tue, 08 Dec 2009 20:13:07 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 08 Dec 2009 18:00:05 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 08 Dec 2009 17:56:53 +0100 | wenzelm | simplified register_fonts; | changeset | files |
| Tue, 08 Dec 2009 16:44:30 +0100 | wenzelm | tuned library names; | changeset | files |
| Tue, 08 Dec 2009 16:30:20 +0100 | wenzelm | misc modernization of names; | changeset | files |
| Tue, 08 Dec 2009 14:49:01 +0100 | wenzelm | misc rearrangement of files; | changeset | files |
| Tue, 08 Dec 2009 14:29:29 +0100 | wenzelm | removed remains of Flying Saucer; | changeset | files |
| Tue, 08 Dec 2009 12:10:55 +0100 | wenzelm | manipulate document within Swing thread only -- potentially slow; | changeset | files |
| Tue, 08 Dec 2009 12:09:17 +0100 | wenzelm | tuned JVM settings; | changeset | files |
| Mon, 07 Dec 2009 23:01:13 +0100 | wenzelm | misc updates; | changeset | files |
| Mon, 07 Dec 2009 23:00:30 +0100 | wenzelm | obsolete; | changeset | files |
| Mon, 07 Dec 2009 22:59:48 +0100 | wenzelm | use IsabelleText by default; | changeset | files |
| Mon, 07 Dec 2009 22:41:32 +0100 | wenzelm | misc updates; | changeset | files |
| 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 |