src/Tools/jEdit/src/isabelle_sidekick.scala
2014-07-23 wenzelm 2014-07-23 clarified module name: facilitate alternative GUI frameworks;
2014-05-01 wenzelm 2014-05-01 tuned output;
2014-04-26 wenzelm 2014-04-26 tuned signature;
2014-04-17 wenzelm 2014-04-17 capitalize more carefully, e.g. relevant for option "ML_exception_trace";
2014-04-16 wenzelm 2014-04-16 tuned signature -- separate module Word;
2014-04-02 wenzelm 2014-04-02 tuned signature -- more explicit iterator terminology;
2014-03-27 wenzelm 2014-03-27 more frugal merge of markup trees: filter wrt. subsequent query;
2014-03-27 wenzelm 2014-03-27 more careful treatment of multiple command states (eval + prints): merge content that is actually required; more standard Markup_Tree merge, including trivial cases;
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-21 wenzelm 2014-02-21 tuned signature;
2014-02-16 wenzelm 2014-02-16 recovered Isabelle_Sidekick_Markup from 9c53198dbb1c: snapshot requires Swing_Thread;
2014-02-11 wenzelm 2014-02-11 maintain multiple command chunks and markup trees: for main chunk and loaded files; document view for all text areas, including auxiliary files;
2013-11-19 wenzelm 2013-11-19 clarified boundary cases of Document.Node.Name;
2013-11-18 wenzelm 2013-11-18 maintain document model for all files, with document view for theory only, and special blob for non-theory files;
2013-09-29 wenzelm 2013-09-29 observe user preferences;
2013-09-28 wenzelm 2013-09-28 enforce IsabelleText font for better symbol coverage, especially on Windows;
2013-08-29 wenzelm 2013-08-29 clarified SideKick parser name, which serves as quasi "mode" here;
2013-08-29 wenzelm 2013-08-29 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;
2013-08-27 wenzelm 2013-08-27 some actual completion via outer syntax; disable old SideKick completion for "isabelle" mode;
2013-07-06 wenzelm 2013-07-06 minimal jedit mode for Isabelle NEWS;
2013-04-04 wenzelm 2013-04-04 tuned signature -- avoid intrusion of slightly odd Swing structures into pure Markup_Tree;
2013-03-23 wenzelm 2013-03-23 allow fractional pretty margin -- avoid premature rounding;
2013-01-04 wenzelm 2013-01-04 tuned imports;
2012-12-16 wenzelm 2012-12-16 tuned signature: use thy_load to adapt to prover/editor specific view on sources;
2012-11-25 wenzelm 2012-11-25 renamed main plugin object to PIDE;
2012-09-20 wenzelm 2012-09-20 tuned;
2012-09-17 wenzelm 2012-09-17 somewhat more general JEdit_Lib; tuned signatures;
2012-08-22 wenzelm 2012-08-22 clarified global get_recent_syntax: session always has its base_syntax, but it might be absent itself;
2012-08-16 wenzelm 2012-08-16 updated to jdk-7u6 and jedit_build-20120813 -- NB: plain Isabelle/Scala still happens to work with jdk-6;
2012-08-07 wenzelm 2012-08-07 more structural parsing for minor modes; tuned signatures;
2012-08-07 wenzelm 2012-08-07 clarified Sidekick configuration, including minor modes;
2012-04-25 wenzelm 2012-04-25 reactivated ListCellRenderer for Java 6 (cf. b9e2ed4b1579, 0ddac15782e4, de249b5ae6e2);
2012-04-19 wenzelm 2012-04-19 display Java 7 only code for now (cf. b9e2ed4b1579);
2012-04-19 wenzelm 2012-04-19 custom ListCellRenderer with text area font ensures that symbols are displayed reliably;
2012-04-18 wenzelm 2012-04-18 flat presentation of collective markup;
2012-03-15 wenzelm 2012-03-15 maintain Version.syntax within document state; clarified Outer_Syntax.empty vs. Outer_Syntax.init, which pulls in Isabelle_System symbol completions;
2012-03-14 wenzelm 2012-03-14 more explicit indication of swing thread context;
2012-01-14 wenzelm 2012-01-14 tuned signature;
2012-01-12 wenzelm 2012-01-12 clarified mkString: no extra line-breaks for XML.Body;
2012-01-07 wenzelm 2012-01-07 accumulate status as regular markup for command range; tuned signature;
2011-12-16 wenzelm 2011-12-16 prefer sorting from Scala library;
2011-11-11 wenzelm 2011-11-11 prefer statically typed Text.Markup;
2011-09-01 wenzelm 2011-09-01 more abstract Document.Node.Name; tuned signature;
2011-08-31 wenzelm 2011-08-31 maintain name of *the* enclosing node as part of command -- avoid full document traversal;
2011-08-30 wenzelm 2011-08-30 tuned signature;
2011-08-13 wenzelm 2011-08-13 tuned;
2011-07-07 wenzelm 2011-07-07 simplified Symbol based on lazy Symbol.Interpretation -- reduced odd "functorial style"; tuned implicit build/init messages;
2011-07-04 wenzelm 2011-07-04 quasi-static Isabelle_System -- reduced tendency towards "functorial style";
2011-06-08 wenzelm 2011-06-08 moved sources -- eliminated Netbeans artifact of jedit package directory;