2014-05-08 wenzelm 2014-05-08 some odd tricks to provide "Detach" menu item, via "PIDE" docking framework;
2014-05-06 wenzelm 2014-05-06 renamed "Find" to "Query", with more general operations;
2014-04-27 wenzelm 2014-04-27 modernized Isabelle classpath for graphview;
2014-04-23 wenzelm 2014-04-23 updated workaround;
2014-04-15 wenzelm 2014-04-15 common context menu for Isabelle/jEdit;
2014-04-11 wenzelm 2014-04-11 added spell-checker based on jortho-1.0;
2014-04-05 wenzelm 2014-04-05 clarified Doc entry: more explicit path; allow plain files as Doc; refer to official jEdit documentation;
2014-04-05 wenzelm 2014-04-05 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 wenzelm 2014-03-25 separate "sml" mode, suppress old "ml" mode altogether;
2014-03-18 wenzelm 2014-03-18 clarifed module name;
2014-03-01 wenzelm 2014-03-01 tuned signature -- separate module Font_Info;
2014-02-15 wenzelm 2014-02-15 isabelle-ml mode with separate token marker; clarified ML_Lex.gap_start: end-of-input counts as single newline;
2014-02-04 Lars Hupel 2014-02-04 interactive simplifier trace: new panel in Isabelle/jEdit to inspect and modify simplification state
2013-12-06 wenzelm 2013-12-06 tuned;
2013-12-05 wenzelm 2013-12-05 uniform use of transparent icons, as for main "apps";
2013-12-04 wenzelm 2013-12-04 remove junk;
2013-12-04 wenzelm 2013-12-04 recover main entry point from d9c88171b393 -- occasionally useful with plain "java -jar jedit.jar";
2013-12-01 wenzelm 2013-12-01 prefer isabelle application icon;
2013-09-26 wenzelm 2013-09-26 obsolete (see also 48d13465c7c7);
2013-09-25 wenzelm 2013-09-25 include MacOSX plugin by default -- disabled by default to avoid multiplatform confusion;
2013-09-25 wenzelm 2013-09-25 removed obsolete cobra.jar, js.jar (see also 30de372ca56f); added MacOSX.jar based on SVN 23208 (essentially plugin version 1.3);
2013-09-22 wenzelm 2013-09-22 clarified location of GUI modules (which depend on Swing of JFX);
2013-09-21 wenzelm 2013-09-21 removed obsolete README; open Documentation dockable by default;
2013-09-12 wenzelm 2013-09-12 tuned comments;
2013-09-12 wenzelm 2013-09-12 clarified directory structure;
2013-09-12 wenzelm 2013-09-12 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); ignore $ISABELLE_JAVA_EXT -- do not change java.ext.dirs;
2013-09-07 wenzelm 2013-09-07 odd workaround for scalac to enable nohup;
2013-09-07 wenzelm 2013-09-07 build session before start of jedit;
2013-09-06 wenzelm 2013-09-06 use JEDIT_OPTIONS only once (in isabelle.Main.start_jedit);
2013-09-06 wenzelm 2013-09-06 warm start of Isabelle/jEdit from Isabelle/Scala; avoid mass confusion of plugins due to change of -classpath (cf. 5bef05f5ed58);
2013-09-06 wenzelm 2013-09-06 prefer Isabelle/Scala over bash; actual platform_path (in contrast to eb8806a2e348);
2013-09-06 wenzelm 2013-09-06 prefer Isabelle/Scala over bash;
2013-09-06 wenzelm 2013-09-06 prefer warm start via JEdit_Main;
2013-09-05 wenzelm 2013-09-05 updated to jedit_build-20130905 which is based on jedit-5.1.0; added jsr305-2.0.0.jar from (via ivy cache), which is required to resolve javax.annotation.*;
2013-08-28 wenzelm 2013-08-28 more elementary Popup via JLayeredPane -- avoid javax.swing.PopupFactory with its many problems and dangers of accidental HeavyWeightPopup (especially on Mac OS X); observe !evt.isConsumed semantically: no initial dismiss here (e.g. due to cursor keys);
2013-08-13 wenzelm 2013-08-13 Completion popup based on javax.swing.PopupFactory, which has better cross-platform chances than JWindow (cf. org/gjt/jedit/gui/;
2013-08-12 wenzelm 2013-08-12 moved generic module to its proper place;
2013-08-12 wenzelm 2013-08-12 manage hyperlinks via PIDE editor interface;
2013-08-12 wenzelm 2013-08-12 tuned signature -- more abstract PIDE editor operations;
2013-08-09 wenzelm 2013-08-09 separate Process_Indicator -- simplified/clarified version of org.gjt.sp.jedit.gui.AnimatedIcon;
2013-08-08 wenzelm 2013-08-08 dockable window for Sledgehammer, based on asynchronous/parallel query operation;
2013-08-05 wenzelm 2013-08-05 slightly more general support for one-shot query operations via asynchronous print functions and temporary document overlay;
2013-08-02 wenzelm 2013-08-02 dockable window for "find" dialog (GUI only);
2013-07-06 wenzelm 2013-07-06 more dependencies;
2013-07-06 wenzelm 2013-07-06 minimal jedit mode for Isabelle NEWS;
2013-06-28 wenzelm 2013-06-28 support for idea-icons (using ideaIC-129.354/platform/icons/src from IntelliJ IDEA Community Edition 12.1.2);
2013-06-25 wenzelm 2013-06-25 dockable window for Isabelle documentation;
2013-03-26 wenzelm 2013-03-26 dockable window for timing information;
2013-03-24 wenzelm 2013-03-24 basic support for xz files;
2013-01-31 wenzelm 2013-01-31 some native Mac OS X support, notably quit_handler (important for dialog on unsaved changes);
2013-01-09 wenzelm 2013-01-09 refrain from writing to JEDIT_SETTINGS in BUILD_ONLY mode -- relevant for makedist;
2013-01-09 wenzelm 2013-01-09 build browser more robustly before startup;
2013-01-04 wenzelm 2013-01-04 actually install required copy of Highlight.jar;
2012-12-31 wenzelm 2012-12-31 scala mode is already part of jedit-5.0.0;
2012-12-15 wenzelm 2012-12-15 tuned command line;
2012-12-15 wenzelm 2012-12-15 clarified build_dialog command line;
2012-12-15 wenzelm 2012-12-15 fold handling within Pretty_Text_Area, based on formal document content, which is static here; fold subgoals;
2012-12-10 wenzelm 2012-12-10 generalized notion of active area, where sendback is just one application; some support for graphview via active area;
2012-12-08 wenzelm 2012-12-08 basic monitor panel, using the powerful jfreechart library; sorted Isabelle menu entries -- this is mainly a catalog;
2012-12-07 wenzelm 2012-12-07 more rigorous "build only" mode: avoid build dialog of logic image and its potential need for GUI display;