tuned;

manage buffer models as explicit global state;
tuned signature;

Sidekick parser for isabelle-ml and sml mode;

support for context block structure in Sidekick;
tuned;

tuned;

clarified modules;

tuned -- according to ML version;

more explicit Pretty.Tree, like in ML;
tuned;

no GUI_Thread for SideKick parsers (in contrast to 4c8205fe3644), to avoid danger of deadlock due to nested context switch;

allow prefix before keyword, notably 'private';

GUI.imitate_font: more explicit result size, e.g. relevant for caching;
some graphview font options: Helvetica family is important for self-contained PDF;
tuned;

imitate font more carefully: err on smaller size;
imitate HTML font, notably for Sidekick where short string is also shown as view status message;

proper GUI_Thread context (cf. 7e0d3da6e6d8);

node-specific syntax, with base_syntax as default;
clarified Document_Model.init: convergence of editor events towards buffer-specific token marker;

Sidekick syntax is derived from buffer (and its mode), instead of parser name;

tuned rendering;

clarified tree root;

omit pointless nodes for proof commands etc.;

tuned signature and modules;

clarified modules;

more advanced NEWS tree structure and folding;

tuned output;

clarified Chunk -- avoid ooddities;

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

SideKick parser for bibtex entries;
tuned signature;

tuned;

tuned signature;

clarified modules;

clarified module name: facilitate alternative GUI frameworks;

--HG--
rename : src/Pure/GUI/swing_thread.scala => src/Pure/GUI/gui_thread.scala

tuned output;

tuned signature;

capitalize more carefully, e.g. relevant for option "ML_exception_trace";

tuned signature -- separate module Word;

tuned signature -- more explicit iterator terminology;

more frugal merge of markup trees: filter wrt. subsequent query;

more careful treatment of multiple command states (eval + prints): merge content that is actually required;
more standard Markup_Tree merge, including trivial cases;

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;

tuned signature;

recovered Isabelle_Sidekick_Markup from 9c53198dbb1c: snapshot requires Swing_Thread;

maintain multiple command chunks and markup trees: for main chunk and loaded files;
document view for all text areas, including auxiliary files;

clarified boundary cases of Document.Node.Name;

maintain document model for all files, with document view for theory only, and special blob for non-theory files;

observe user preferences;

enforce IsabelleText font for better symbol coverage, especially on Windows;

clarified SideKick parser name, which serves as quasi "mode" here;

maintain Completion_Popup.Text_Area as client property like Document_View;
global Completion_Popup.Text_Area init/exit like SideKickPlugin;
eliminated old SideKick completion -- cover all Isabelle modes uniformly;
dynamic lookup of Isabelle.mode_syntax -- NB: buffer mode might be undefined in intermediate stages;

some actual completion via outer syntax;
disable old SideKick completion for "isabelle" mode;

minimal jedit mode for Isabelle NEWS;

tuned signature -- avoid intrusion of slightly odd Swing structures into pure Markup_Tree;

allow fractional pretty margin -- avoid premature rounding;

tuned imports;

tuned signature: use thy_load to adapt to prover/editor specific view on sources;

renamed main plugin object to PIDE;

tuned;

somewhat more general JEdit_Lib;
tuned signatures;

clarified global get_recent_syntax: session always has its base_syntax, but it might be absent itself;

updated to jdk-7u6 and jedit_build-20120813 -- NB: plain Isabelle/Scala still happens to work with jdk-6;

more structural parsing for minor modes;
tuned signatures;

clarified Sidekick configuration, including minor modes;

reactivated ListCellRenderer for Java 6 (cf. b9e2ed4b1579, 0ddac15782e4, de249b5ae6e2);

display Java 7 only code for now (cf. b9e2ed4b1579);

custom ListCellRenderer with text area font ensures that symbols are displayed reliably;

flat presentation of collective markup;

maintain Version.syntax within document state;
clarified Outer_Syntax.empty vs. Outer_Syntax.init, which pulls in Isabelle_System symbol completions;

more explicit indication of swing thread context;

tuned signature;

clarified mkString: no extra line-breaks for XML.Body;

accumulate status as regular markup for command range;
tuned signature;

prefer sorting from Scala library;

prefer statically typed Text.Markup;

more abstract Document.Node.Name;
tuned signature;

maintain name of *the* enclosing node as part of command -- avoid full document traversal;

tuned signature;

tuned;

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

quasi-static Isabelle_System -- reduced tendency towards "functorial style";

moved sources -- eliminated Netbeans artifact of jedit package directory;

--HG--
rename : src/Tools/jEdit/src/jedit/dockable.scala => src/Tools/jEdit/src/dockable.scala
rename : src/Tools/jEdit/src/jedit/document_model.scala => src/Tools/jEdit/src/document_model.scala
rename : src/Tools/jEdit/src/jedit/document_view.scala => src/Tools/jEdit/src/document_view.scala
rename : src/Tools/jEdit/src/jedit/html_panel.scala => src/Tools/jEdit/src/html_panel.scala
rename : src/Tools/jEdit/src/jedit/isabelle_encoding.scala => src/Tools/jEdit/src/isabelle_encoding.scala
rename : src/Tools/jEdit/src/jedit/isabelle_hyperlinks.scala => src/Tools/jEdit/src/isabelle_hyperlinks.scala
rename : src/Tools/jEdit/src/jedit/isabelle_markup.scala => src/Tools/jEdit/src/isabelle_markup.scala
rename : src/Tools/jEdit/src/jedit/isabelle_options.scala => src/Tools/jEdit/src/isabelle_options.scala
rename : src/Tools/jEdit/src/jedit/isabelle_sidekick.scala => src/Tools/jEdit/src/isabelle_sidekick.scala
rename : src/Tools/jEdit/src/jedit/output_dockable.scala => src/Tools/jEdit/src/output_dockable.scala
rename : src/Tools/jEdit/src/jedit/plugin.scala => src/Tools/jEdit/src/plugin.scala
rename : src/Tools/jEdit/src/jedit/protocol_dockable.scala => src/Tools/jEdit/src/protocol_dockable.scala
rename : src/Tools/jEdit/src/jedit/raw_output_dockable.scala => src/Tools/jEdit/src/raw_output_dockable.scala
rename : src/Tools/jEdit/src/jedit/scala_console.scala => src/Tools/jEdit/src/scala_console.scala
rename : src/Tools/jEdit/src/jedit/session_dockable.scala => src/Tools/jEdit/src/session_dockable.scala