| 2019-07-20 |
wenzelm |
more robust: avoid folding of jEdit file-names wrt. JEDIT_SESSION_DIRS;
|
file |
diff |
annotate
|
| 2019-04-30 |
wenzelm |
more uniform Isabelle splash screen -- avoid problems with jEdit splash and Java 11 on some Linux window managers;
|
file |
diff |
annotate
|
| 2019-03-01 |
wenzelm |
system option "system_heaps" supersedes various command-line options for "system build mode";
|
file |
diff |
annotate
|
| 2019-01-30 |
wenzelm |
support for session information via virtual file-system;
|
file |
diff |
annotate
|
| 2019-01-30 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| 2019-01-11 |
wenzelm |
access Isabelle theory exports via virtual file-system;
|
file |
diff |
annotate
|
| 2018-10-28 |
wenzelm |
suppress "FreeMarker Template Language" file extension for the sake of SAD3/ForTheL;
|
file |
diff |
annotate
|
| 2018-06-29 |
wenzelm |
command-line option for include_sessions;
|
file |
diff |
annotate
|
| 2018-06-04 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| 2018-04-17 |
wenzelm |
updated to jedit-5.5.0;
|
file |
diff |
annotate
|
| 2018-01-29 |
wenzelm |
more uniform documentation;
|
file |
diff |
annotate
|
| 2017-11-02 |
wenzelm |
support alternative ancestor session;
|
file |
diff |
annotate
|
| 2017-11-02 |
wenzelm |
support focus_session, for much faster startup of Isabelle/jEdit;
|
file |
diff |
annotate
|
| 2017-11-01 |
wenzelm |
clarified terminology;
|
file |
diff |
annotate
|
| 2017-11-01 |
wenzelm |
added isabelle jedit options -B, -P, clarified -R;
|
file |
diff |
annotate
|
| 2017-10-23 |
wenzelm |
updated to jdk-8u152, which is for x86_64 only;
|
file |
diff |
annotate
|
| 2017-09-21 |
wenzelm |
misc tuning and updates for release;
|
file |
diff |
annotate
|
| 2017-09-01 |
wenzelm |
more robust: provide docking framework via base plugin;
|
file |
diff |
annotate
|
| 2017-09-01 |
wenzelm |
more robust;
|
file |
diff |
annotate
|
| 2017-08-31 |
wenzelm |
reverted 6acb28e5ba41: permissiveness of 1e5ae735e026 should be sufficient;
|
file |
diff |
annotate
|
| 2017-08-30 |
wenzelm |
more robust: fall-back for SyntaxUtilities.StyleExtender when Isabelle plugin is unloaded;
|
file |
diff |
annotate
|
| 2017-08-20 |
wenzelm |
separate base plugin for important services that should be always available, despite startup errors of the main plugin;
|
file |
diff |
annotate
|
| 2017-06-19 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| 2017-04-24 |
wenzelm |
clarified meaning of "isabelle jedit -R": avoid potential problems with all_known = true;
|
file |
diff |
annotate
|
| 2017-04-21 |
wenzelm |
afford unconditional all_known = true (reverting ea42dfd95ec8), for practical usability of qualified imports from arbitrary sessions;
|
file |
diff |
annotate
|
| 2017-04-21 |
wenzelm |
more uniform isabelle_scala;
|
file |
diff |
annotate
|
| 2017-04-19 |
wenzelm |
optionally explore all sessions -- potentially slow, e.g. for AFP;
|
file |
diff |
annotate
|
| 2017-03-19 |
wenzelm |
updated to jedit-5.4.0;
|
file |
diff |
annotate
|
| 2017-03-15 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| 2017-03-07 |
wenzelm |
clarified modules: spell-checker in Pure;
|
file |
diff |
annotate
|
| 2017-01-15 |
wenzelm |
clarified settings;
|
file |
diff |
annotate
|
| 2016-12-20 |
wenzelm |
clarified module name;
|
file |
diff |
annotate
|
| 2016-12-18 |
wenzelm |
added isabelle jedit -R;
|
file |
diff |
annotate
|
| 2016-10-02 |
wenzelm |
just one option is enough -- "isabelle jedit" java process may be prefixed directly in the shell;
|
file |
diff |
annotate
|
| 2016-10-01 |
wenzelm |
options for process policy, notably for multiprocessor machines;
|
file |
diff |
annotate
|
| 2016-08-30 |
wenzelm |
some support for merge of Isabelle/jEdit shortcuts wrt. jEdit keymap;
|
file |
diff |
annotate
|
| 2016-07-07 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| 2016-04-14 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| 2016-04-09 |
wenzelm |
support ROOT0.ML as well -- independently of ROOT.ML;
|
file |
diff |
annotate
|
| 2016-04-08 |
wenzelm |
backout 930a30c1a9af: leads to odd effect of command-line options becoming persistent preferences;
|
file |
diff |
annotate
|
| 2016-04-08 |
wenzelm |
option "-o" for "isabelle jedit";
|
file |
diff |
annotate
|
| 2016-04-07 |
wenzelm |
clarified mode of ROOT.ML files;
|
file |
diff |
annotate
|
| 2016-03-10 |
wenzelm |
prefer plain "isabelle" from PATH within Isabelle settings environment;
|
file |
diff |
annotate
|
| 2016-01-02 |
wenzelm |
clarified isabelle jedit command-line;
|
file |
diff |
annotate
|
| 2015-10-24 |
wenzelm |
more uniform command-line for "isabelle jedit" and the isabelle.Main app wrapper;
|
file |
diff |
annotate
|
| 2015-10-23 |
wenzelm |
updated to jedit-5.3.0 and SideKick 1.8;
|
file |
diff |
annotate
|
| 2015-10-01 |
wenzelm |
less ambitious regex -- avoid unclarities of escaping;
|
file |
diff |
annotate
|
| 2015-09-30 |
wenzelm |
renamed jvmpath to platform_path;
|
file |
diff |
annotate
|
| 2015-09-30 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| 2015-09-21 |
wenzelm |
separate panel for proof state output;
|
file |
diff |
annotate
|
| 2015-09-14 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
| 2015-09-08 |
wenzelm |
clarified JEDIT_JAVA_OPTIONS: separate defaults for 32 vs. 64 bit;
|
file |
diff |
annotate
|
| 2015-09-08 |
wenzelm |
clarified JEDIT_JAVA_SYSTEM_OPTIONS;
|
file |
diff |
annotate
|
| 2015-07-17 |
wenzelm |
skeleton for interactive debugger;
|
file |
diff |
annotate
|
| 2015-02-28 |
wenzelm |
updated to jedit-5.2.0;
|
file |
diff |
annotate
|
| 2015-01-22 |
wenzelm |
backout cefeea956989: Graphview *is* required in Pure to replace old browser eventually;
|
file |
diff |
annotate
|
| 2015-01-21 |
haftmann |
sufficent to have graphview as part of jEdit rather than Pure
|
file |
diff |
annotate
|
| 2014-10-21 |
wenzelm |
support for structure matching;
|
file |
diff |
annotate
|
| 2014-10-05 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| 2014-10-05 |
wenzelm |
citation tooltip/hyperlink based on open buffers with .bib files;
|
file |
diff |
annotate
|