src/Tools/jEdit/src/jedit/plugin.scala
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;