src/Tools/jEdit/plugin/services.xml
2009-12-08 wenzelm 2009-12-08 misc modernization of names;
2009-09-15 wenzelm 2009-09-15 tuned file name;
2009-06-26 wenzelm 2009-06-26 removes VFS service -- superceded by UTF-8-Isabelle encoding;
2009-06-26 wenzelm 2009-06-26 renamed UTF-8-isabelle to UTF-8-Isabelle;
2009-06-25 wenzelm 2009-06-25 added IsabelleEncoding -- a clone of utf-8 for now;
2009-05-22 immler 2009-05-22 implemented IsabelleHyperlinkSource (only links inside the current buffer)
2008-12-20 wenzelm 2008-12-20 renamed isabelle.prover.IsabelleSKParser to isabelle.jedit.IsabelleSideKickParser; tuned;
2008-12-18 immler 2008-12-18 restructured: independent provers in different buffers
2008-11-30 immler 2008-11-30 basic tree structure for sidekick
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;