isabelle: Changelog

wenzelm [Thu, 10 Dec 2009 14:23:28 +0100] rev 34776

tuned;

wenzelm [Thu, 10 Dec 2009 14:14:49 +0100] rev 34775

basic setup for HTML_Panel event handling;

wenzelm [Thu, 10 Dec 2009 13:47:50 +0100] rev 34774

install_fonts;

wenzelm [Tue, 08 Dec 2009 23:45:42 +0100] rev 34773

renamed "raw output" to "protocol"; renamed "results" to "output";

wenzelm [Tue, 08 Dec 2009 23:18:07 +0100] rev 34772

proper actor wiring for raw process output; unified Swing component setup;

wenzelm [Tue, 08 Dec 2009 23:15:59 +0100] rev 34771

misc tuning;

wenzelm [Tue, 08 Dec 2009 22:38:32 +0100] rev 34770

prefer options from running application;

wenzelm [Tue, 08 Dec 2009 21:54:34 +0100] rev 34769

more precise messages;

wenzelm [Tue, 08 Dec 2009 21:49:30 +0100] rev 34768

back to low-level JPanel, required for addNotify/removeNotify; proper actor wiring, support multiple (floating) instances;

wenzelm [Tue, 08 Dec 2009 21:48:12 +0100] rev 34767

added properties_changed event bus;

isabelle