| 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
|
| Thu, 05 Jan 2023 17:14:29 +0100 |
wenzelm |
tuned signature;
|
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 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
|
| Wed, 02 Dec 2020 15:01:37 +0100 |
wenzelm |
clarified signature --- more explicit types;
|
file |
diff |
annotate
|
| Mon, 25 Nov 2019 13:28:31 +0100 |
wenzelm |
support for output messages;
|
file |
diff |
annotate
|
| Sat, 13 Apr 2019 15:13:43 +0200 |
wenzelm |
tuned signature: more operations;
|
file |
diff |
annotate
|
| Tue, 05 Mar 2019 16:46:42 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 03 Mar 2019 20:27:42 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 03 Mar 2019 20:13:25 +0100 |
wenzelm |
clarified signature -- allow more re-use;
|
file |
diff |
annotate
|
| Wed, 29 Aug 2018 18:53:58 +0200 |
wenzelm |
support Thy_Element in Scala, following ML version;
|
file |
diff |
annotate
|
| Wed, 29 Aug 2018 12:21:59 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 20 Dec 2016 08:53:26 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Thu, 11 Aug 2016 15:32:53 +0200 |
wenzelm |
suppress ASCII art;
|
file |
diff |
annotate
|
| Fri, 05 Aug 2016 16:30:53 +0200 |
wenzelm |
Sidekick parser for isabelle-ml and sml mode;
|
file |
diff |
annotate
|
| Thu, 04 Aug 2016 21:21:31 +0200 |
wenzelm |
clarified handling of plain theory commands;
|
file |
diff |
annotate
|
| Thu, 04 Aug 2016 20:55:36 +0200 |
wenzelm |
support for context block structure in Sidekick;
|
file |
diff |
annotate
|
| Thu, 04 Aug 2016 11:32:21 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 04 Aug 2016 11:17:11 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|