| Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
| Thu, 04 Mar 2021 16:08:30 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Thu, 04 Mar 2021 15:59:28 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Thu, 04 Mar 2021 15:41:46 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Wed, 03 Mar 2021 22:31:11 +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
|
| Sat, 02 Jan 2021 22:22:34 +0100 |
wenzelm |
clarified signature: absorb XZ.Cache into XML.Cache;
|
file |
diff |
annotate
|
| Sun, 20 Dec 2020 15:47:54 +0100 |
wenzelm |
present auxiliary files with PIDE markup;
|
file |
diff |
annotate
|
| Fri, 18 Dec 2020 23:19:07 +0100 |
wenzelm |
improved markup for theory header imports;
|
file |
diff |
annotate
|
| Thu, 10 Dec 2020 16:35:56 +0100 |
wenzelm |
clarified signature: more specific types;
|
file |
diff |
annotate
|
| Mon, 07 Dec 2020 21:49:39 +0100 |
wenzelm |
read theory with PIDE markup from session database;
|
file |
diff |
annotate
|
| Mon, 07 Dec 2020 19:45:52 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 06 Dec 2020 13:03:26 +0100 |
wenzelm |
silently ignore markup that starts out as singularity, e.g. <language/> from empty ML file;
|
file |
diff |
annotate
|
| Sat, 05 Dec 2020 19:09:39 +0100 |
wenzelm |
proper span position for blobs in batch-build (but: practically irrelevant);
|
file |
diff |
annotate
|
| Sat, 05 Dec 2020 18:14:55 +0100 |
wenzelm |
proper treatment of singleton Position.Offset within blob (amending cb9d5af781b4);
|
file |
diff |
annotate
|
| Sat, 05 Dec 2020 14:36:41 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 05 Dec 2020 12:43:21 +0100 |
wenzelm |
clarified signature, notably access to blob files;
|
file |
diff |
annotate
|
| Sat, 05 Dec 2020 12:14:40 +0100 |
wenzelm |
support for PIDE markup for auxiliary files ("blobs");
|
file |
diff |
annotate
|
| Wed, 02 Dec 2020 15:01:37 +0100 |
wenzelm |
clarified signature --- more explicit types;
|
file |
diff |
annotate
|
| Sun, 29 Nov 2020 16:45:29 +0100 |
wenzelm |
restrict report redirection to current node;
|
file |
diff |
annotate
|
| Sun, 29 Nov 2020 16:11:52 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 29 Nov 2020 15:41:36 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sun, 29 Nov 2020 15:33:19 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 29 Nov 2020 14:57:15 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 28 Nov 2020 23:28:56 +0100 |
wenzelm |
clarified parsing vs. semantic errors;
|
file |
diff |
annotate
|
| Sat, 28 Nov 2020 15:53:46 +0100 |
wenzelm |
tuned signature --- more explicit types;
|
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 21:59:23 +0100 |
wenzelm |
clarified theory keywords: loaded_files are determined statically in Scala, but ML needs to do it semantically;
|
file |
diff |
annotate
|
| Fri, 27 Nov 2020 16:44:36 +0100 |
wenzelm |
more explicit types;
|
file |
diff |
annotate
|