src/Tools/jEdit/lib/Tools/jedit
19 months ago wenzelm 2017-11-02 support focus_session, for much faster startup of Isabelle/jEdit; more options for "isabelle jedit";
19 months ago wenzelm 2017-11-01 clarified terminology;
19 months ago wenzelm 2017-11-01 added isabelle jedit options -B, -P, clarified -R; misc tuning and clarification;
20 months ago wenzelm 2017-10-23 updated to jdk-8u152, which is for x86_64 only;
21 months ago wenzelm 2017-09-21 misc tuning and updates for release;
22 months ago wenzelm 2017-09-01 more robust: provide docking framework via base plugin;
22 months ago wenzelm 2017-09-01 more robust;
22 months ago wenzelm 2017-08-31 reverted 6acb28e5ba41: permissiveness of 1e5ae735e026 should be sufficient;
22 months ago wenzelm 2017-08-30 more robust: fall-back for SyntaxUtilities.StyleExtender when Isabelle plugin is unloaded;
22 months ago wenzelm 2017-08-20 separate base plugin for important services that should be always available, despite startup errors of the main plugin;
2017-06-19 wenzelm 2017-06-19 clarified modules;
2017-04-24 wenzelm 2017-04-24 clarified meaning of "isabelle jedit -R": avoid potential problems with all_known = true;
2017-04-21 wenzelm 2017-04-21 afford unconditional all_known = true (reverting ea42dfd95ec8), for practical usability of qualified imports from arbitrary sessions;
2017-04-21 wenzelm 2017-04-21 more uniform isabelle_scala; more uniform ISABELLE_SCALAC_OPTIONS with heap options;
2017-04-19 wenzelm 2017-04-19 optionally explore all sessions -- potentially slow, e.g. for AFP;
2017-03-19 wenzelm 2017-03-19 updated to jedit-5.4.0;
2017-03-15 wenzelm 2017-03-15 clarified modules;
2017-03-07 wenzelm 2017-03-07 clarified modules: spell-checker in Pure;
2017-01-15 wenzelm 2017-01-15 clarified settings;
2016-12-20 wenzelm 2016-12-20 clarified module name;
2016-12-18 wenzelm 2016-12-18 added isabelle jedit -R; errors in session_info/session_content are ignored and deferred to later checks of Build.build;
2016-10-02 wenzelm 2016-10-02 just one option is enough -- "isabelle jedit" java process may be prefixed directly in the shell;
2016-10-01 wenzelm 2016-10-01 options for process policy, notably for multiprocessor machines;
2016-08-30 wenzelm 2016-08-30 some support for merge of Isabelle/jEdit shortcuts wrt. jEdit keymap;
2016-07-07 wenzelm 2016-07-07 clarified modules;
2016-04-14 wenzelm 2016-04-14 clarified modules;
2016-04-09 wenzelm 2016-04-09 support ROOT0.ML as well -- independently of ROOT.ML;
2016-04-08 wenzelm 2016-04-08 backout 930a30c1a9af: leads to odd effect of command-line options becoming persistent preferences;
2016-04-08 wenzelm 2016-04-08 option "-o" for "isabelle jedit";
2016-04-07 wenzelm 2016-04-07 clarified mode of ROOT.ML files;
2016-03-10 wenzelm 2016-03-10 prefer plain "isabelle" from PATH within Isabelle settings environment;
2016-01-02 wenzelm 2016-01-02 clarified isabelle jedit command-line;
2015-10-24 wenzelm 2015-10-24 more uniform command-line for "isabelle jedit" and the isabelle.Main app wrapper;
2015-10-23 wenzelm 2015-10-23 updated to jedit-5.3.0 and SideKick 1.8;
2015-10-01 wenzelm 2015-10-01 less ambitious regex -- avoid unclarities of escaping;
2015-09-30 wenzelm 2015-09-30 renamed jvmpath to platform_path;
2015-09-30 wenzelm 2015-09-30 clarified modules; more conventional GUI threading;
2015-09-21 wenzelm 2015-09-21 separate panel for proof state output;
2015-09-14 wenzelm 2015-09-14 tuned message;
2015-09-08 wenzelm 2015-09-08 clarified JEDIT_JAVA_OPTIONS: separate defaults for 32 vs. 64 bit;
2015-09-08 wenzelm 2015-09-08 clarified JEDIT_JAVA_SYSTEM_OPTIONS;
2015-07-17 wenzelm 2015-07-17 skeleton for interactive debugger;
2015-02-28 wenzelm 2015-02-28 updated to jedit-5.2.0; updated CommonControls.jar, kappalayout.jar, MacOSX.jar, SideKick.jar;
2015-01-22 wenzelm 2015-01-22 backout cefeea956989: Graphview *is* required in Pure to replace old browser eventually;
2015-01-21 haftmann 2015-01-21 sufficent to have graphview as part of jEdit rather than Pure
2014-10-21 wenzelm 2014-10-21 support for structure matching; misc tuning;
2014-10-05 wenzelm 2014-10-05 clarified modules;
2014-10-05 wenzelm 2014-10-05 citation tooltip/hyperlink based on open buffers with .bib files;
2014-10-04 wenzelm 2014-10-04 support for bibtex token markup; more robust ML token marker: no_context; tuned signature;
2014-07-23 wenzelm 2014-07-23 more workarounds for scalac;
2014-06-18 wenzelm 2014-06-18 tuned;
2014-05-25 wenzelm 2014-05-25 tuned;
2014-05-21 wenzelm 2014-05-21 incorporate isabelle.graphview into Pure.jar, which saves 20..30s build time; discontinued pointless "isabelle graphview" command-line tool (Proof General legacy);
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;