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