command-line option for include_sessions;

clarified signature;
simplified options;

updated to jedit-5.5.0;
discontinued jedit_build/contrib/jEdit-patched.tar.gz -- its content is in directory jedit_build/contrib/jedit-5.5.0-patched/jEdit;

more uniform documentation;

support alternative ancestor session;

support focus_session, for much faster startup of Isabelle/jEdit;
more options for "isabelle jedit";

clarified terminology;

added isabelle jedit options -B, -P, clarified -R;
misc tuning and clarification;

updated to jdk-8u152, which is for x86_64 only;

misc tuning and updates for release;

more robust: provide docking framework via base plugin;

--HG--
rename : src/Tools/jEdit/src/dockable.scala => src/Tools/jEdit/src-base/dockable.scala
rename : src/Tools/jEdit/src/pide_docking_framework.scala => src/Tools/jEdit/src-base/pide_docking_framework.scala

more robust;

reverted 6acb28e5ba41: permissiveness of 1e5ae735e026 should be sufficient;

more robust: fall-back for SyntaxUtilities.StyleExtender when Isabelle plugin is unloaded;

separate base plugin for important services that should be always available, despite startup errors of the main plugin;

--HG--
rename : src/Tools/jEdit/src/isabelle_encoding.scala => src/Tools/jEdit/src-base/isabelle_encoding.scala

clarified modules;

--HG--
rename : src/Tools/jEdit/src/bibtex_jedit.scala => src/Tools/jEdit/src/jedit_bibtex.scala

clarified meaning of "isabelle jedit -R": avoid potential problems with all_known = true;

afford unconditional all_known = true (reverting ea42dfd95ec8), for practical usability of qualified imports from arbitrary sessions;

more uniform isabelle_scala;
more uniform ISABELLE_SCALAC_OPTIONS with heap options;

optionally explore all sessions -- potentially slow, e.g. for AFP;

updated to jedit-5.4.0;

--HG--
rename : src/Tools/jEdit/patches/brackets_extended_styles => src/Tools/jEdit/patches/extended_styles

clarified modules;

clarified modules: spell-checker in Pure;

--HG--
rename : src/Tools/jEdit/src/spell_checker.scala => src/Tools/jEdit/src/jedit_spell_checker.scala

clarified settings;

clarified module name;

--HG--
rename : src/Tools/jEdit/src/rendering.scala => src/Tools/jEdit/src/jedit_rendering.scala

added isabelle jedit -R;
errors in session_info/session_content are ignored and deferred to later checks of Build.build;

just one option is enough -- "isabelle jedit" java process may be prefixed directly in the shell;

options for process policy, notably for multiprocessor machines;

some support for merge of Isabelle/jEdit shortcuts wrt. jEdit keymap;

clarified modules;

--HG--
rename : src/Tools/jEdit/src/structure_matching.scala => src/Tools/jEdit/src/text_structure.scala

clarified modules;

--HG--
rename : src/Tools/jEdit/src/isabelle_logic.scala => src/Tools/jEdit/src/jedit_sessions.scala

support ROOT0.ML as well -- independently of ROOT.ML;

backout 930a30c1a9af: leads to odd effect of command-line options becoming persistent preferences;

option "-o" for "isabelle jedit";

clarified mode of ROOT.ML files;

prefer plain "isabelle" from PATH within Isabelle settings environment;

clarified isabelle jedit command-line;

more uniform command-line for "isabelle jedit" and the isabelle.Main app wrapper;

updated to jedit-5.3.0 and SideKick 1.8;

--HG--
rename : src/Tools/jEdit/patches/extended_styles => src/Tools/jEdit/patches/brackets_extended_styles

less ambitious regex -- avoid unclarities of escaping;

renamed jvmpath to platform_path;

clarified modules;
more conventional GUI threading;

separate panel for proof state output;

tuned message;

clarified JEDIT_JAVA_OPTIONS: separate defaults for 32 vs. 64 bit;

clarified JEDIT_JAVA_SYSTEM_OPTIONS;

skeleton for interactive debugger;

updated to jedit-5.2.0;
updated CommonControls.jar, kappalayout.jar, MacOSX.jar, SideKick.jar;

backout cefeea956989: Graphview *is* required in Pure to replace old browser eventually;

sufficent to have graphview as part of jEdit rather than Pure

--HG--
extra : rebase_source : e1149ce5df36b6a5573ff56b44f05aca17a7d7ec

support for structure matching;
misc tuning;

clarified modules;

citation tooltip/hyperlink based on open buffers with .bib files;

support for bibtex token markup;
more robust ML token marker: no_context;
tuned signature;

more workarounds for scalac;

tuned;

--HG--
extra : rebase_source : d63ec1dee79be1e7fff6fea7be4b7e0fad180429

tuned;

incorporate isabelle.graphview into Pure.jar, which saves 20..30s build time;
discontinued pointless "isabelle graphview" command-line tool (Proof General legacy);

some odd tricks to provide "Detach" menu item, via "PIDE" docking framework;

renamed "Find" to "Query", with more general operations;

--HG--
rename : src/Tools/jEdit/src/find_dockable.scala => src/Tools/jEdit/src/query_dockable.scala

modernized Isabelle classpath for graphview;

updated workaround;

common context menu for Isabelle/jEdit;

added spell-checker based on jortho-1.0;

clarified Doc entry: more explicit path;
allow plain files as Doc;
refer to official jEdit documentation;

updated to jedit_build-20140405: Code2HTML.jar, CommonControls.jar, Console.jar, kappalayout.jar, Navigator.jar, SideKick.jar, doc with jEdit manuals (ant dist-manuals);

separate "sml" mode, suppress old "ml" mode altogether;

clarifed module name;

--HG--
rename : src/Pure/Thy/thy_load.ML => src/Pure/PIDE/resources.ML
rename : src/Pure/Thy/thy_load.scala => src/Pure/PIDE/resources.scala
rename : src/Tools/jEdit/src/jedit_thy_load.scala => src/Tools/jEdit/src/jedit_resources.scala

tuned signature -- separate module Font_Info;

isabelle-ml mode with separate token marker;
clarified ML_Lex.gap_start: end-of-input counts as single newline;

interactive simplifier trace: new panel in Isabelle/jEdit to inspect and modify simplification state

--HG--
extra : amend_source : ecfd76d4e8277199ca35432e0682414689f265fb

tuned;

uniform use of transparent icons, as for main "apps";

remove junk;

recover main entry point from d9c88171b393 -- occasionally useful with plain "java -jar jedit.jar";

prefer isabelle application icon;

obsolete (see also 48d13465c7c7);

include MacOSX plugin by default -- disabled by default to avoid multiplatform confusion;

removed obsolete cobra.jar, js.jar (see also 30de372ca56f);
added MacOSX.jar based on SVN 23208 (essentially plugin version 1.3);

clarified location of GUI modules (which depend on Swing of JFX);

--HG--
rename : src/Pure/System/color_value.scala => src/Pure/GUI/color_value.scala
rename : src/Pure/System/gui.scala => src/Pure/GUI/gui.scala
rename : src/Pure/System/gui_setup.scala => src/Pure/GUI/gui_setup.scala
rename : src/Pure/System/html5_panel.scala => src/Pure/GUI/html5_panel.scala
rename : src/Pure/System/jfx_thread.scala => src/Pure/GUI/jfx_thread.scala
rename : src/Tools/jEdit/src/popup.scala => src/Pure/GUI/popup.scala
rename : src/Pure/System/swing_thread.scala => src/Pure/GUI/swing_thread.scala
rename : src/Pure/System/system_dialog.scala => src/Pure/GUI/system_dialog.scala
rename : src/Pure/System/wrap_panel.scala => src/Pure/GUI/wrap_panel.scala

removed obsolete README;
open Documentation dockable by default;

tuned comments;

clarified directory structure;

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;

odd workaround for scalac to enable nohup;

build session before start of jedit;

use JEDIT_OPTIONS only once (in isabelle.Main.start_jedit);

warm start of Isabelle/jEdit from Isabelle/Scala;
avoid mass confusion of plugins due to change of -classpath (cf. 5bef05f5ed58);

prefer Isabelle/Scala over bash;
actual platform_path (in contrast to eb8806a2e348);

prefer Isabelle/Scala over bash;

prefer warm start via JEdit_Main;

updated to jedit_build-20130905 which is based on jedit-5.1.0;
added jsr305-2.0.0.jar from http://code.google.com/p/findbugs (via ivy cache), which is required to resolve javax.annotation.*;

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);

Completion popup based on javax.swing.PopupFactory, which has better cross-platform chances than JWindow (cf. org/gjt/jedit/gui/CompletionPopup.java);

moved generic module to its proper place;

--HG--
rename : src/Tools/jEdit/src/query_operation.scala => src/Pure/PIDE/query_operation.scala

manage hyperlinks via PIDE editor interface;

tuned signature -- more abstract PIDE editor operations;

separate Process_Indicator -- simplified/clarified version of org.gjt.sp.jedit.gui.AnimatedIcon;

dockable window for Sledgehammer, based on asynchronous/parallel query operation;

slightly more general support for one-shot query operations via asynchronous print functions and temporary document overlay;

dockable window for "find" dialog (GUI only);

more dependencies;

minimal jedit mode for Isabelle NEWS;

support for idea-icons (using ideaIC-129.354/platform/icons/src from IntelliJ IDEA Community Edition 12.1.2);

dockable window for Isabelle documentation;

dockable window for timing information;

basic support for xz files;

some native Mac OS X support, notably quit_handler (important for dialog on unsaved changes);

refrain from writing to JEDIT_SETTINGS in BUILD_ONLY mode -- relevant for makedist;

build browser more robustly before startup;

actually install required copy of Highlight.jar;

scala mode is already part of jedit-5.0.0;

tuned command line;

clarified build_dialog command line;

fold handling within Pretty_Text_Area, based on formal document content, which is static here;
fold subgoals;

generalized notion of active area, where sendback is just one application;
some support for graphview via active area;

--HG--
rename : src/Pure/PIDE/sendback.ML => src/Pure/PIDE/active.ML
rename : src/Tools/jEdit/src/sendback.scala => src/Tools/jEdit/src/active.scala

basic monitor panel, using the powerful jfreechart library;
sorted Isabelle menu entries -- this is mainly a catalog;

more rigorous "build only" mode: avoid build dialog of logic image and its potential need for GUI display;

clarified build_dialog: regular up-to-date check (extra cost of approx. 5s startup for HOL);
added jedit option -n to bypass build_dialog;

more uniform default logic, using settings, options, args etc.;
clarified build_dialog -C: imitate jEdit logic selection more precisely;

implicit build_dialog for Isabelle/jEdit;
clarified option -l: refer to session name, not image path;

updated to jedit-5.0.0;

renamed dockable "Prover Session" to "Theories";
more uniform Library.lowercase/uppercase;

--HG--
rename : src/Tools/jEdit/src/session_dockable.scala => src/Tools/jEdit/src/theories_dockable.scala

tuned signature;

--HG--
rename : src/Tools/jEdit/src/isabelle_actions.scala => src/Tools/jEdit/src/isabelle.scala

tuned file name;

--HG--
rename : src/Tools/jEdit/src/isabelle_rendering.scala => src/Tools/jEdit/src/rendering.scala

improved editing support for control styles;
separate module for Isabelle actions;

dockable with buttons for symbols, grouped and sorted in tabs according to ~~/etc/symbols;
search field for symbols

--HG--
extra : rebase_source : 6dca3e79cbe5c4d893a6fadd44d853c21e4aeccb

proper jvmpath for windows;

prefer absolute default $USER_HOME/Scratch.thy;

avoid duplicate build of jars_fresh;

detach tooltip as dockable window;

separate module Pretty_Tooltip;

removed obsolete Output1 dockable;

some support for jEdit warmstart;

more uniform graphview terminology;

--HG--
rename : src/Tools/jEdit/src/graph_dockable.scala => src/Tools/jEdit/src/graphview_dockable.scala

basic integration of graphview into document model;
added Graph_Dockable;
updated Isabelle/jEdit authors and dependencies etc.;

--HG--
rename : src/Tools/Graphview/src/dockable.scala => src/Tools/jEdit/src/graph_dockable.scala

renamed Output to Output1 and Output2 to Output, and thus make the new version the default;

--HG--
rename : src/Tools/jEdit/src/output_dockable.scala => src/Tools/jEdit/src/output1_dockable.scala
rename : src/Tools/jEdit/src/output2_dockable.scala => src/Tools/jEdit/src/output_dockable.scala

some support for hovering and sendback area;

renamed Text_Area_Painter to Rich_Text_Area;

--HG--
rename : src/Tools/jEdit/src/text_area_painter.scala => src/Tools/jEdit/src/rich_text_area.scala

somewhat more general JEdit_Lib;
tuned signatures;

alternative output panel, based on Pretty_Text_Area, based on JEditEmbeddedTextArea;

more systematic JEdit_Options.make_component;
separate module Isabelle_Logic;

manage Isabelle/jEdit options as Isabelle/Scala options (with persistent preferences);

support for direct hyperlinks, without the Hyperlinks plugin;

added jedit option -d;

discontinued unused isabelle jedit debugger;
tuned;

renamed isabelle-root minor mode;

--HG--
rename : src/Tools/jEdit/src/modes/isabelle-session.xml => src/Tools/jEdit/src/modes/isabelle-root.xml

basic jEdit mode for Isabelle options;

basic support for session ROOT files, with examples for FOL and ZF;

separate syslog dockable -- discontinued tendency of sub-window management via tabs;

separate README dockable, which allows to make it more prominent first and remove it later;

include scala-compiler.jar in basic Isabelle/Scala environment, to make Isabelle/jEdit console work with scala-2.10.0-M3;

accomodate scala-2.10.0-M3 with its extra jar;
removed redundant SCALA_JARS;

pretend jedit is up-to-date if this is not a repository -- avoid accidental build attempts after touching files etc.;

more robust command invocation via ISABELLE_JDK_HOME or SCALA_HOME (NB: bash exec requires genuine executable, not function);

ISABELLE_JDK_HOME settings variable points to JDK with javac and jar (not just JRE);
update for prospective jdk1.7.x component;

less noisy Isabelle/Scala build process;

include scala.xml as of scala-2.9.1.final/misc/scala-tool-support/jedit/modes/scala.xml -- seems to be missing in more recent distributions;

separate module for text status overview;

more uniform / portable representation of the idea of "copy_dir" (NB: cp -f dereferences symlinks on GNU/Linux, but does not on old-school Unixen including BSD/Mac OS X);

renamed Isabelle_Markup to Isabelle_Rendering to emphasize its meaning and make room for Pure Isabelle_Markup module;

--HG--
rename : src/Tools/jEdit/src/isabelle_markup.scala => src/Tools/jEdit/src/isabelle_rendering.scala

always use sockets on Windows/Cygwin;
discontinued special raw_dump facility;

prefer socket comminication on Cygwin, which is more stable here than fifos;

explicit option for socket vs. fifo communication;

tuned usage;

separate module for jEdit primitives for loading theory files;

more portable cp options, e.g. for non-GNU version on Mac OS X Leopard;

back to tradition Scratch.thy default -- execution wrt. perspective overcomes the main problems of 226563829580;

simplified Symbol based on lazy Symbol.Interpretation -- reduced odd "functorial style";
tuned implicit build/init messages;

simplified arrangement of jars;

provide Isabelle/Scala environment as Java extension, instead of user classpath
(which is subject to adhoc changes);

tuned;

static token markup, based on outer syntax only;
eliminated obsolete buffer.propertiesChanged (expensive due to remarking of full buffer etc.);

explicit dependency on Pure.jar;

tuned messages;

tuned;

include scala mode;

more explicit check of dependencies;

separate module for text area painting;

--HG--
rename : src/Tools/jEdit/src/text_painter.scala => src/Tools/jEdit/src/text_area_painter.scala

separate isabelle.jedit.Text_Painter, which actually replaces the original TextAreaPainter$PaintText instance;

check source dependencies only if jedit_build component is available;

tuned;

simplified directory structure;
recovered README.html;

--HG--
rename : src/Tools/jEdit/dist-template/README.html => src/Tools/jEdit/README.html
rename : src/Tools/jEdit/dist-template/properties/jedit.props => src/Tools/jEdit/src/jEdit.props
rename : src/Tools/jEdit/dist-template/modes/isabelle-session.xml => src/Tools/jEdit/src/modes/isabelle-session.xml
rename : src/Tools/jEdit/dist-template/modes/isabelle.xml => src/Tools/jEdit/src/modes/isabelle.xml

simplified directory structure;

--HG--
rename : src/Tools/jEdit/plugin/Isabelle.props => src/Tools/jEdit/src/Isabelle.props
rename : src/Tools/jEdit/plugin/actions.xml => src/Tools/jEdit/src/actions.xml
rename : src/Tools/jEdit/plugin/dockables.xml => src/Tools/jEdit/src/dockables.xml
rename : src/Tools/jEdit/plugin/services.xml => src/Tools/jEdit/src/services.xml

further jedit build option;
misc tuning;

build jedit as part of regular startup script (in that case depending on jedit_build component);
misc tuning and simplification;

--HG--
rename : src/Tools/jEdit/dist-template/etc/isabelle-jedit.css => src/Tools/jEdit/etc/isabelle-jedit.css
rename : src/Tools/jEdit/dist-template/etc/settings => src/Tools/jEdit/etc/settings
rename : src/Tools/jEdit/dist-template/lib/Tools/jedit => src/Tools/jEdit/lib/Tools/jedit