| Mon, 04 Jan 2021 21:02:46 +0100 |
wenzelm |
override existing action, to retain menu item;
|
file |
diff |
annotate
|
| Sun, 03 Jan 2021 23:06:37 +0100 |
wenzelm |
action isabelle.toggle-full-screen;
|
file |
diff |
annotate
|
| Mon, 21 Dec 2020 22:47:53 +0100 |
wenzelm |
more robust Java monitor: avoid odd warning about insecure connection;
|
file |
diff |
annotate
|
| Wed, 16 Dec 2020 13:47:33 +0100 |
wenzelm |
added action isabelle.goto-entity to follow links in a narrow formal sense;
|
file |
diff |
annotate
|
| Wed, 16 Dec 2020 13:17:48 +0100 |
wenzelm |
clarified select_entity (again): it is meant as approximation to "refactoring" and thus only makes sense for defs within the same buffer;
|
file |
diff |
annotate
|
| Mon, 14 Dec 2020 22:01:54 +0100 |
wenzelm |
clarified caret focus modifier, depending on option "jedit_focus_modifier";
|
file |
diff |
annotate
|
| Wed, 12 Aug 2020 11:22:11 +0200 |
wenzelm |
removed pointless GUI controls for ML_statistics --- no longer part of prover protocol (see also 38a64cc17403);
|
file |
diff |
annotate
|
| Fri, 27 Mar 2020 22:01:27 +0100 |
wenzelm |
misc tuning based on hints by IntelliJ IDEA;
|
file |
diff |
annotate
|
| Fri, 06 Mar 2020 20:18:21 +0100 |
wenzelm |
support Java/VM monitoring via jconsole;
|
file |
diff |
annotate
|
| Mon, 02 Mar 2020 13:43:39 +0100 |
wenzelm |
tuned GUI;
|
file |
diff |
annotate
|
| Sun, 01 Mar 2020 22:32:10 +0100 |
wenzelm |
proper navigation wrt. caret;
|
file |
diff |
annotate
|
| Sun, 01 Mar 2020 21:52:21 +0100 |
wenzelm |
more Isabelle/jEdit actions;
|
file |
diff |
annotate
|
| Sat, 29 Feb 2020 17:16:17 +0100 |
wenzelm |
more Isabelle/jEdit actions;
|
file |
diff |
annotate
|
| Sat, 29 Feb 2020 16:30:30 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 31 Jul 2018 21:06:09 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 06 Dec 2017 19:34:59 +0100 |
wenzelm |
more robust, e.g. when Sidekick produces multi-selection;
|
file |
diff |
annotate
|
| Mon, 04 Dec 2017 22:56:46 +0100 |
wenzelm |
added action to make antiquoted cartouche;
|
file |
diff |
annotate
|
| Mon, 06 Nov 2017 16:03:13 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 04 Nov 2017 17:11:21 +0100 |
wenzelm |
clarified lazy Completion within Outer_Syntax: measurable speedup of Sessions.deps;
|
file |
diff |
annotate
|
| Wed, 01 Nov 2017 21:02:16 +0100 |
wenzelm |
init only once (see also c0f776b661fa);
|
file |
diff |
annotate
|
| Fri, 29 Sep 2017 22:12:32 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 21 Aug 2017 15:23:04 +0200 |
wenzelm |
avoid compound edit: it causes confusion about the context of the last line, e.g. final "end";
|
file |
diff |
annotate
|
| Fri, 23 Jun 2017 22:21:11 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 23 Jun 2017 22:07:12 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 23 Jun 2017 22:03:51 +0200 |
wenzelm |
indentation of keywords after input;
|
file |
diff |
annotate
|
| Fri, 23 Jun 2017 14:21:16 +0200 |
wenzelm |
avoid trailing spaces;
|
file |
diff |
annotate
|
| Fri, 23 Jun 2017 11:55:33 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Mon, 19 Jun 2017 21:15:06 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Mon, 19 Jun 2017 19:59:13 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Mon, 03 Apr 2017 17:00:36 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 15 Mar 2017 13:49:39 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Tue, 14 Mar 2017 21:54:46 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 14 Mar 2017 21:11:04 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Tue, 14 Mar 2017 20:50:21 +0100 |
wenzelm |
avoid global variables with implicit initialization;
|
file |
diff |
annotate
|
| Tue, 14 Mar 2017 11:22:47 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 13 Mar 2017 20:33:42 +0100 |
wenzelm |
proper local debugger state, depending on session;
|
file |
diff |
annotate
|
| Tue, 07 Mar 2017 14:33:14 +0100 |
wenzelm |
clarified modules: spell-checker in Pure;
|
file |
diff |
annotate
|
| Thu, 12 Jan 2017 11:17:05 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 09 Jan 2017 20:26:59 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 07 Jan 2017 14:34:53 +0100 |
wenzelm |
separate Buffer_Model vs. File_Model;
|
file |
diff |
annotate
|
| Fri, 06 Jan 2017 13:27:18 +0100 |
wenzelm |
manage buffer models as explicit global state;
|
file |
diff |
annotate
|
| Fri, 23 Dec 2016 17:04:29 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 04 Dec 2016 13:40:54 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 02 Nov 2016 11:06:40 +0100 |
wenzelm |
more accurate start_line: avoid changing the original command (e.g. 'try', 'sledgehammer');
|
file |
diff |
annotate
|
| Wed, 14 Sep 2016 14:07:09 +0200 |
wenzelm |
more robust;
|
file |
diff |
annotate
|
| Wed, 14 Sep 2016 12:12:44 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 06 Sep 2016 15:02:22 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 15 Jul 2016 22:17:09 +0200 |
wenzelm |
more structured edit, including indentation;
|
file |
diff |
annotate
|
| Wed, 13 Jul 2016 20:14:16 +0200 |
wenzelm |
auto indentation of quasi commands;
|
file |
diff |
annotate
|
| Wed, 13 Jul 2016 19:04:49 +0200 |
wenzelm |
clarified indentation: 'begin' is treated like a separate command without indent;
|
file |
diff |
annotate
|
| Tue, 12 Jul 2016 11:51:05 +0200 |
wenzelm |
added action "isabelle.newline" (shortcut ENTER);
|
file |
diff |
annotate
|
| Mon, 11 Jul 2016 17:45:51 +0200 |
wenzelm |
support more modes;
|
file |
diff |
annotate
|
| Thu, 07 Jul 2016 20:54:41 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Thu, 07 Jul 2016 12:08:00 +0200 |
wenzelm |
basic setup for indentation;
|
file |
diff |
annotate
|
| Mon, 06 Jun 2016 16:04:26 +0200 |
wenzelm |
added action "isabelle.select-entity";
|
file |
diff |
annotate
|
| Tue, 15 Mar 2016 22:01:26 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Fri, 08 Jan 2016 18:18:40 +0100 |
wenzelm |
clarified symbol insertion, depending on buffer encoding;
|
file |
diff |
annotate
|
| Mon, 07 Dec 2015 15:20:06 +0100 |
wenzelm |
more thorough update request: semantic state of command may have changed elsewise;
|
file |
diff |
annotate
|
| Sat, 21 Nov 2015 19:27:06 +0100 |
wenzelm |
more thorough update of options;
|
file |
diff |
annotate
|
| Mon, 19 Oct 2015 16:37:45 +0200 |
wenzelm |
added action "isabelle-emph";
|
file |
diff |
annotate
|