src/Tools/jEdit/src/jedit/Plugin.scala
2009-06-23 wenzelm 2009-06-23 fall back on Isabelle system completion (symbols only); tuned;
2009-01-27 wenzelm 2009-01-27 tuned whitespace;
2009-01-27 wenzelm 2009-01-27 added Isabelle.default_logic;
2009-01-27 wenzelm 2009-01-27 more explicit indication of mutable collections;
2009-01-20 wenzelm 2009-01-20 use Symbol.Interpretation from IsabelleSystem instance;
2009-01-12 immler 2009-01-12 implemented IsabelleSideKickParser.complete removed Plugin.prover (to avoid NoSuchElementException)
2009-01-11 wenzelm 2009-01-11 maintain Isabelle properties via object Isabelle.Property with apply/update methods;
2009-01-10 immler 2009-01-10 changed install/uninstall prover on view to private
2009-01-10 immler 2009-01-10 merged
2008-12-19 immler 2008-12-19 ability to deactivate buffers
2008-12-29 wenzelm 2008-12-29 replaced EventSource by EventBus; misc tuning;
2008-12-28 wenzelm 2008-12-28 added central id generator;
2008-12-27 wenzelm 2008-12-27 dynamic instances Isabelle.system, Isabelle.symbols;
2008-12-27 wenzelm 2008-12-27 replaced static IsabelleSystem by Isabelle.system;
2008-12-27 wenzelm 2008-12-27 renamed object Plugin to Isabelle; renamed Plugin.self to Isabelle.plugin; renamed Isabelle.plugin.symbols to Isabelle.symbols;
2008-12-21 wenzelm 2008-12-21 renamed Plugin.plugin to Plugin.self; added Symbol.Interpretation (formerly in VFS); tuned Plugin.font handling; tuned;
2008-12-21 wenzelm 2008-12-21 tuned;
2008-12-20 wenzelm 2008-12-20 more conventional action names;
2008-12-19 wenzelm 2008-12-19 added some headers and comments;
2008-12-18 immler 2008-12-18 restructured: independent provers in different buffers
2008-10-21 wenzelm 2008-10-21 renamed VFS protocol prefix from "isa:" to "isabelle:";
2008-10-19 wenzelm 2008-10-19 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;