| Fri, 16 Dec 2022 15:14:09 +0100 |
wenzelm |
tuned names: avoid overlap with instances of class Resources;
|
file |
diff |
annotate
|
| Sun, 04 Dec 2022 14:15:12 +0100 |
wenzelm |
more direct access to jEdit jar resources, without unzip;
|
file |
diff |
annotate
|
| Wed, 20 Oct 2021 20:25:33 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Thu, 12 Aug 2021 14:18:46 +0200 |
wenzelm |
provide bash_process server for Isabelle/ML and other external programs;
|
file |
diff |
annotate
|
| Sat, 07 Aug 2021 22:23:37 +0200 |
wenzelm |
clarified signature: more options for bash_process;
|
file |
diff |
annotate
|
| Thu, 15 Jul 2021 16:35:45 +0200 |
wenzelm |
build.props for isabelle.jar, including isabelle.jedit;
|
file |
diff |
annotate
|
| Fri, 21 May 2021 12:29:29 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Mon, 22 Feb 2021 17:19:05 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 03 Mar 2020 19:53:14 +0100 |
wenzelm |
include actions for jEdit dockables, e.g. "vfs.browser";
|
file |
diff |
annotate
|
| Tue, 03 Mar 2020 19:48:51 +0100 |
wenzelm |
misc tuning and clarification;
|
file |
diff |
annotate
|
| Fri, 04 Jan 2019 21:49:06 +0100 |
wenzelm |
support for isabelle update -u control_cartouches;
|
file |
diff |
annotate
|
| Tue, 27 Nov 2018 21:07:39 +0100 |
wenzelm |
more accurate positions for "name" (quoted string) and "embedded" (cartouche): refer to content without delimiters, which is e.g. relevant for systematic selection/renaming of scope groups;
|
file |
diff |
annotate
|
| Mon, 12 Nov 2018 15:14:12 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 18 Jan 2018 21:41:30 +0100 |
wenzelm |
clarified access to antiquotation options;
|
file |
diff |
annotate
|
| Tue, 09 Jan 2018 15:40:12 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Wed, 06 Dec 2017 18:59:33 +0100 |
wenzelm |
prefer control symbol antiquotations;
|
file |
diff |
annotate
|
| Sat, 16 Sep 2017 17:25:51 +0200 |
wenzelm |
more derived actions, according to jEdit/org/gjt/sp/jedit/gui/DockableWindowFactory.java;
|
file |
diff |
annotate
|
| Fri, 12 Aug 2016 20:58:05 +0200 |
wenzelm |
active jEdit actions;
|
file |
diff |
annotate
|
| Fri, 12 Aug 2016 17:53:55 +0200 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
| Thu, 11 Aug 2016 18:26:44 +0200 |
wenzelm |
clarified antiquotations;
|
file |
diff |
annotate
|
| Tue, 10 Nov 2015 22:20:46 +0100 |
wenzelm |
more thorough check_action, including completion;
|
file |
diff |
annotate
|
| Tue, 10 Nov 2015 21:52:18 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 10 Nov 2015 20:10:17 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|