| Mon, 22 Aug 2022 14:48:14 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 13 Aug 2022 14:29:59 +0200 |
wenzelm |
more accurate treatment of option "editor_output_state", e.g. when changed via Isabelle/jEdit Plugin Options panel;
|
file |
diff |
annotate
|
| Fri, 08 Apr 2022 15:56:14 +0200 |
wenzelm |
tuned -- avoid warnings for scala3;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
| Mon, 06 Dec 2021 15:34:54 +0100 |
wenzelm |
discontinued old-style {* verbatim *} tokens;
|
file |
diff |
annotate
|
| Sun, 14 Nov 2021 15:21:40 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 04 Mar 2021 15:41:46 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Wed, 16 Dec 2020 13:22:38 +0100 |
wenzelm |
tuned signature;
|
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
|
| Mon, 14 Dec 2020 16:51:12 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 14 Dec 2020 16:40:33 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 13 Dec 2020 23:11:41 +0100 |
wenzelm |
unused (see 29566b6810f7);
|
file |
diff |
annotate
|
| Sun, 13 Dec 2020 23:06:33 +0100 |
wenzelm |
proper argument --- amending 908d8be90533;
|
file |
diff |
annotate
|
| Sun, 13 Dec 2020 22:54:27 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 13 Dec 2020 22:43:51 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 13 Dec 2020 22:30:30 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 13 Dec 2020 19:04:46 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 13 Dec 2020 17:48:51 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 13 Dec 2020 16:35:37 +0100 |
wenzelm |
clarified signature: more explicit types;
|
file |
diff |
annotate
|
| Thu, 10 Dec 2020 17:01:59 +0100 |
wenzelm |
clarified types;
|
file |
diff |
annotate
|
| Thu, 10 Dec 2020 16:35:56 +0100 |
wenzelm |
clarified signature: more specific types;
|
file |
diff |
annotate
|
| Wed, 09 Dec 2020 20:10:10 +0100 |
wenzelm |
added "isabelle log": print messages from build database;
|
file |
diff |
annotate
|
| Wed, 09 Dec 2020 15:14:24 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 07 Dec 2020 16:24:39 +0100 |
wenzelm |
clarified markup: support more completion, e.g. within ROOTS;
|
file |
diff |
annotate
|
| Thu, 26 Nov 2020 17:32:43 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 26 Nov 2020 17:01:19 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 23 Nov 2020 15:14:58 +0100 |
wenzelm |
support for PIDE markup in batch build (inactive due to pide_reports=false);
|
file |
diff |
annotate
|
| Fri, 27 Mar 2020 22:01:27 +0100 |
wenzelm |
misc tuning based on hints by IntelliJ IDEA;
|
file |
diff |
annotate
|
| Wed, 18 Mar 2020 16:46:07 +0100 |
wenzelm |
backed out changeset 7eadccd4392c: too confusing wrt. text overview panel;
|
file |
diff |
annotate
|
| Sun, 15 Mar 2020 11:55:16 +0100 |
wenzelm |
claried error elements: include internalized errors of tokens/commands;
|
file |
diff |
annotate
|