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;
2012-12-06 wenzelm 2012-12-06 clarified build_dialog: regular up-to-date check (extra cost of approx. 5s startup for HOL); added jedit option -n to bypass build_dialog;
2012-12-06 wenzelm 2012-12-06 more uniform default logic, using settings, options, args etc.; clarified build_dialog -C: imitate jEdit logic selection more precisely;
2012-12-05 wenzelm 2012-12-05 implicit build_dialog for Isabelle/jEdit; clarified option -l: refer to session name, not image path;
2012-12-01 wenzelm 2012-12-01 updated to jedit-5.0.0;
2012-11-30 wenzelm 2012-11-30 renamed dockable "Prover Session" to "Theories"; more uniform Library.lowercase/uppercase;
2012-11-25 wenzelm 2012-11-25 tuned signature;
2012-11-25 wenzelm 2012-11-25 tuned file name;
2012-11-24 wenzelm 2012-11-24 improved editing support for control styles; separate module for Isabelle actions;
2012-11-21 immler 2012-11-21 dockable with buttons for symbols, grouped and sorted in tabs according to ~~/etc/symbols; search field for symbols
2012-11-18 wenzelm 2012-11-18 proper jvmpath for windows;
2012-11-17 wenzelm 2012-11-17 prefer absolute default $USER_HOME/Scratch.thy;
2012-10-20 wenzelm 2012-10-20 avoid duplicate build of jars_fresh;
2012-10-07 wenzelm 2012-10-07 detach tooltip as dockable window;
2012-10-04 wenzelm 2012-10-04 separate module Pretty_Tooltip;
2012-09-27 wenzelm 2012-09-27 removed obsolete Output1 dockable;
2012-09-26 wenzelm 2012-09-26 some support for jEdit warmstart;
2012-09-26 wenzelm 2012-09-26 more uniform graphview terminology;
2012-09-25 wenzelm 2012-09-25 basic integration of graphview into document model; added Graph_Dockable; updated Isabelle/jEdit authors and dependencies etc.;
2012-09-21 wenzelm 2012-09-21 renamed Output to Output1 and Output2 to Output, and thus make the new version the default;
2012-09-21 wenzelm 2012-09-21 some support for hovering and sendback area;