src/Tools/jEdit/src/jedit/plugin.scala
2010-05-28 ago reuse main view.font from jEdit;
2010-05-22 ago access statically typed dockable windows;
2010-05-20 ago zoom font size;
2010-05-11 ago support Isabelle plugin properties with defaults;
2010-05-08 ago tuned headers;
2010-03-30 ago adapted to Scala 2.8.0 Beta 1;
2010-01-11 ago incorporate "proofdocument" part into main Isabelle/Pure.jar -- except for html_panel.scala, which depends on external library (Lobo/Cobra browser);
2010-01-09 ago removed unused var plugin;
2009-12-31 ago tuned dialog;
2009-12-31 ago improved dialog;
2009-12-31 ago basic setup for synchronous / modal (!) prover startup;
2009-12-29 ago eliminated global Session.document_0 -- did not work due to hardwired id;
2009-12-16 ago explicit object Session.Global_Settings;
2009-12-15 ago direct apply for Document_Model and Document_View;
2009-12-15 ago need to handle EditPaneUpdate.CREATED explicitly, not included in EditPaneUpdate.BUFFER_CHANGED;
2009-12-15 ago split Theory_View into Document_Model (connected to Buffer) and Document_View (connected to JEditTextArea);
2009-12-15 ago refined treatment of default logic concerning property and GUI;
2009-12-11 ago handle "default" logic;
2009-12-11 ago more serious command line handling;
2009-12-11 ago proper uninstall;
2009-12-10 ago class Session models full session, with or without prover process (cf. heaps, browser_info);
2009-12-10 ago install_fonts;
2009-12-08 ago proper actor wiring for raw process output;
2009-12-08 ago added properties_changed event bus;
2009-12-08 ago tuned;
2009-12-08 ago simplified register_fonts;
2009-12-08 ago misc modernization of names;
2009-12-08 ago misc rearrangement of files;