| Wed, 08 Nov 2023 11:53:38 +0100 |
wenzelm |
clarified signature: Command_Span.Kind already contains keyword_kind, so parsing document structure no longer requires Keyword.Keywords;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
| Thu, 04 Mar 2021 21:04:27 +0100 |
wenzelm |
clarified signature --- fewer warnings;
|
file |
diff |
annotate
|
| Thu, 04 Mar 2021 15:41:46 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Mon, 01 Mar 2021 22:22:12 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Sun, 10 Jan 2021 13:04:29 +0100 |
wenzelm |
more informative errors: simplify diagnosis of spurious failures reported by users;
|
file |
diff |
annotate
|
| Sat, 09 Jan 2021 18:56:53 +0100 |
wenzelm |
discontinued odd absolute position (amending 85bcdd05c6d0, 1975f397eabb): it violates translation invariance of commands and may lead to redundant re-checking of PIDE document;
|
file |
diff |
annotate
|
| Tue, 01 Dec 2020 20:47:03 +0100 |
wenzelm |
clarified signature --- more positions;
|
file |
diff |
annotate
|
| Fri, 27 Nov 2020 23:47:06 +0100 |
wenzelm |
more flexible syntax for theory load commands via Isabelle/Scala;
|
file |
diff |
annotate
|
| Fri, 27 Nov 2020 11:41:43 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 27 Mar 2020 22:01:27 +0100 |
wenzelm |
misc tuning based on hints by IntelliJ IDEA;
|
file |
diff |
annotate
|
| Tue, 31 Jul 2018 21:11:24 +0200 |
wenzelm |
clarified ignored span / core range: include formal comments, e.g. relevant for error messages from antiquotations;
|
file |
diff |
annotate
|
| Sat, 04 Nov 2017 18:57:49 +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
|
| Wed, 01 Nov 2017 20:46:23 +0100 |
wenzelm |
proper merge (amending fb46c031c841);
|
file |
diff |
annotate
|
| Sat, 07 Oct 2017 13:13:46 +0200 |
wenzelm |
clarified empty merge;
|
file |
diff |
annotate
|
| Fri, 29 Sep 2017 20:49:42 +0200 |
wenzelm |
more informative loaded_theories: dependencies and syntax;
|
file |
diff |
annotate
|
| Tue, 04 Apr 2017 22:56:28 +0200 |
wenzelm |
more explicit types;
|
file |
diff |
annotate
|
| Tue, 04 Apr 2017 22:53:01 +0200 |
wenzelm |
proper name according to meaning;
|
file |
diff |
annotate
|
| Tue, 20 Dec 2016 10:45:20 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 14 Sep 2016 12:56:57 +0200 |
wenzelm |
maintain abbrevs in canonical reverse order;
|
file |
diff |
annotate
|
| Wed, 14 Sep 2016 12:12:44 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 04 Aug 2016 11:17:11 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Thu, 04 Aug 2016 10:55:51 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Wed, 03 Aug 2016 11:45:09 +0200 |
wenzelm |
include 'begin' and 'end' structure in text folds;
|
file |
diff |
annotate
|
| Tue, 02 Aug 2016 21:04:52 +0200 |
wenzelm |
implicit keyword completion only for actual words (amending 73939a9b70a3);
|
file |
diff |
annotate
|
| Tue, 02 Aug 2016 18:45:34 +0200 |
wenzelm |
tuned signature -- prover-independence is presently theoretical;
|
file |
diff |
annotate
|
| Tue, 02 Aug 2016 17:35:18 +0200 |
wenzelm |
support 'abbrevs' within theory header;
|
file |
diff |
annotate
|
| Wed, 20 Jul 2016 16:02:00 +0200 |
wenzelm |
completion templates for commands involving "begin ... end" blocks;
|
file |
diff |
annotate
|