src/Tools/jEdit/lib/Tools/jedit
2014-10-05 ago citation tooltip/hyperlink based on open buffers with .bib files;
2014-10-04 ago support for bibtex token markup;
2014-07-23 ago more workarounds for scalac;
2014-06-18 ago tuned;
2014-05-25 ago tuned;
2014-05-21 ago incorporate isabelle.graphview into Pure.jar, which saves 20..30s build time;
2014-05-08 ago some odd tricks to provide "Detach" menu item, via "PIDE" docking framework;
2014-05-06 ago renamed "Find" to "Query", with more general operations;
2014-04-27 ago modernized Isabelle classpath for graphview;
2014-04-23 ago updated workaround;
2014-04-15 ago common context menu for Isabelle/jEdit;
2014-04-11 ago added spell-checker based on jortho-1.0;
2014-04-05 ago clarified Doc entry: more explicit path;
2014-04-05 ago updated to jedit_build-20140405: Code2HTML.jar, CommonControls.jar, Console.jar, kappalayout.jar, Navigator.jar, SideKick.jar, doc with jEdit manuals (ant dist-manuals);
2014-03-25 ago separate "sml" mode, suppress old "ml" mode altogether;
2014-03-18 ago clarifed module name;
2014-03-01 ago tuned signature -- separate module Font_Info;
2014-02-15 ago isabelle-ml mode with separate token marker;
2014-02-04 ago interactive simplifier trace: new panel in Isabelle/jEdit to inspect and modify simplification state
2013-12-06 ago tuned;
2013-12-05 ago uniform use of transparent icons, as for main "apps";
2013-12-04 ago remove junk;
2013-12-04 ago recover main entry point from d9c88171b393 -- occasionally useful with plain "java -jar jedit.jar";
2013-12-01 ago prefer isabelle application icon;
2013-09-26 ago obsolete (see also 48d13465c7c7);
2013-09-25 ago include MacOSX plugin by default -- disabled by default to avoid multiplatform confusion;
2013-09-25 ago removed obsolete cobra.jar, js.jar (see also 30de372ca56f);
2013-09-22 ago clarified location of GUI modules (which depend on Swing of JFX);
2013-09-21 ago removed obsolete README;
2013-09-12 ago tuned comments;
2013-09-12 ago clarified directory structure;
2013-09-12 ago maintain classpath in more elementary manner: turn ISABELLE_CLASSPATH into -classpath option, so that all jars are covered by sun.misc.Launcher.AppClassLoader (e.g. relevant for loading add-on resources);
2013-09-07 ago odd workaround for scalac to enable nohup;
2013-09-07 ago build session before start of jedit;
2013-09-06 ago use JEDIT_OPTIONS only once (in isabelle.Main.start_jedit);
2013-09-06 ago warm start of Isabelle/jEdit from Isabelle/Scala;
2013-09-06 ago prefer Isabelle/Scala over bash;
2013-09-06 ago prefer Isabelle/Scala over bash;
2013-09-06 ago prefer warm start via JEdit_Main;
2013-09-05 ago updated to jedit_build-20130905 which is based on jedit-5.1.0;
2013-08-28 ago more elementary Popup via JLayeredPane -- avoid javax.swing.PopupFactory with its many problems and dangers of accidental HeavyWeightPopup (especially on Mac OS X);
2013-08-13 ago Completion popup based on javax.swing.PopupFactory, which has better cross-platform chances than JWindow (cf. org/gjt/jedit/gui/CompletionPopup.java);
2013-08-12 ago moved generic module to its proper place;
2013-08-12 ago manage hyperlinks via PIDE editor interface;
2013-08-12 ago tuned signature -- more abstract PIDE editor operations;
2013-08-09 ago separate Process_Indicator -- simplified/clarified version of org.gjt.sp.jedit.gui.AnimatedIcon;
2013-08-08 ago dockable window for Sledgehammer, based on asynchronous/parallel query operation;
2013-08-05 ago slightly more general support for one-shot query operations via asynchronous print functions and temporary document overlay;
2013-08-02 ago dockable window for "find" dialog (GUI only);
2013-07-06 ago more dependencies;
2013-07-06 ago minimal jedit mode for Isabelle NEWS;
2013-06-28 ago support for idea-icons (using ideaIC-129.354/platform/icons/src from IntelliJ IDEA Community Edition 12.1.2);
2013-06-25 ago dockable window for Isabelle documentation;
2013-03-26 ago dockable window for timing information;
2013-03-24 ago basic support for xz files;
2013-01-31 ago some native Mac OS X support, notably quit_handler (important for dialog on unsaved changes);
2013-01-09 ago refrain from writing to JEDIT_SETTINGS in BUILD_ONLY mode -- relevant for makedist;
2013-01-09 ago build browser more robustly before startup;
2013-01-04 ago actually install required copy of Highlight.jar;
2012-12-31 ago scala mode is already part of jedit-5.0.0;