src/Tools/jEdit/src/jedit/plugin.scala
Tue, 15 Dec 2009 19:50:55 +0100 wenzelm split Theory_View into Document_Model (connected to Buffer) and Document_View (connected to JEditTextArea);
Tue, 15 Dec 2009 00:21:21 +0100 wenzelm refined treatment of default logic concerning property and GUI;
Fri, 11 Dec 2009 23:38:14 +0100 wenzelm handle "default" logic;
Fri, 11 Dec 2009 23:29:18 +0100 wenzelm more serious command line handling;
Fri, 11 Dec 2009 22:40:55 +0100 wenzelm proper uninstall;
Thu, 10 Dec 2009 22:15:19 +0100 wenzelm class Session models full session, with or without prover process (cf. heaps, browser_info);
Thu, 10 Dec 2009 13:47:50 +0100 wenzelm install_fonts;
Tue, 08 Dec 2009 23:18:07 +0100 wenzelm proper actor wiring for raw process output;
Tue, 08 Dec 2009 21:48:12 +0100 wenzelm added properties_changed event bus;
Tue, 08 Dec 2009 20:13:07 +0100 wenzelm tuned;
Tue, 08 Dec 2009 17:56:53 +0100 wenzelm simplified register_fonts;
Tue, 08 Dec 2009 16:30:20 +0100 wenzelm misc modernization of names;
Tue, 08 Dec 2009 14:49:01 +0100 wenzelm misc rearrangement of files;
less more (0) tip