src/Tools/jEdit/src/services.xml
2014-05-11 wenzelm 2014-05-11 more direct patch of public interface DockableWindowContainer -- avoid package org.gjt.sp.jedit.gui intrusion; prefer JDialog for FloatingWindowContainer, to keep it in front of the main window; updated to Navigator.jar 2.5, SideKick.jar 1.6;
2014-05-08 wenzelm 2014-05-08 some odd tricks to provide "Detach" menu item, via "PIDE" docking framework;
2014-04-15 wenzelm 2014-04-15 common context menu for Isabelle/jEdit;
2014-04-14 wenzelm 2014-04-14 added context menu for spell checker actions;
2013-08-29 wenzelm 2013-08-29 clarified SideKick parser name, which serves as quasi "mode" here;
2013-07-06 wenzelm 2013-07-06 minimal jedit mode for Isabelle NEWS;
2012-08-24 wenzelm 2012-08-24 support for direct hyperlinks, without the Hyperlinks plugin;
2012-08-07 wenzelm 2012-08-07 clarified Sidekick configuration, including minor modes;
2011-06-08 wenzelm 2011-06-08 simplified directory structure;