Thu, 05 Jan 2023 21:14:37 +0100 |
wenzelm |
more options;
|
file |
diff |
annotate
|
Thu, 05 Jan 2023 20:25:41 +0100 |
wenzelm |
isabelle update no longer uses PIDE dump, but regular session build database: more scalable;
|
file |
diff |
annotate
|
Fri, 01 Apr 2022 23:19:12 +0200 |
wenzelm |
tuned formatting;
|
file |
diff |
annotate
|
Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
Sun, 27 Feb 2022 20:00:23 +0100 |
wenzelm |
misc tuning based on comments by Heiko Eißfeldt;
|
file |
diff |
annotate
|
Mon, 01 Mar 2021 22:22:12 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
Mon, 07 Dec 2020 16:24:39 +0100 |
wenzelm |
clarified markup: support more completion, e.g. within ROOTS;
|
file |
diff |
annotate
|
Sat, 05 Dec 2020 13:45:09 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sat, 05 Dec 2020 13:37:37 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Sat, 28 Nov 2020 21:56:24 +0100 |
wenzelm |
added document antiquotation @{tool};
|
file |
diff |
annotate
|
Thu, 26 Nov 2020 16:08:39 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Tue, 28 Apr 2020 19:50:36 +0200 |
wenzelm |
tuned messages;
|
file |
diff |
annotate
|
Tue, 07 Apr 2020 21:49:36 +0200 |
wenzelm |
clarified signature: more uniform treatment of stopped/interrupted state;
|
file |
diff |
annotate
|
Fri, 20 Mar 2020 19:55:42 +0100 |
wenzelm |
avoid accidental update of base session sources (following documentation in "system" manual);
|
file |
diff |
annotate
|
Tue, 15 Oct 2019 11:25:18 +0200 |
wenzelm |
cumulative errors for session partitions;
|
file |
diff |
annotate
|
Mon, 14 Oct 2019 21:44:07 +0200 |
wenzelm |
clarified options;
|
file |
diff |
annotate
|
Mon, 14 Oct 2019 20:05:16 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Mon, 14 Oct 2019 19:58:38 +0200 |
wenzelm |
clarified "isabelle update" options -- more like "isabelle dump";
|
file |
diff |
annotate
|
Mon, 14 Oct 2019 12:07:37 +0200 |
wenzelm |
clarified signature: static Dump.Context vs. dynamic Dump.Session;
|
file |
diff |
annotate
|
Mon, 02 Sep 2019 19:44:12 +0200 |
wenzelm |
more explicit type Dump.Session, with context information;
|
file |
diff |
annotate
|
Mon, 11 Mar 2019 16:23:30 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sun, 03 Mar 2019 18:45:08 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Fri, 01 Mar 2019 21:29:59 +0100 |
wenzelm |
system option "system_heaps" supersedes various command-line options for "system build mode";
|
file |
diff |
annotate
|
Sun, 06 Jan 2019 12:42:26 +0100 |
wenzelm |
support for isabelle update -u path_cartouches;
|
file |
diff |
annotate
|
Wed, 02 Jan 2019 12:50:32 +0100 |
wenzelm |
tuned messages;
|
file |
diff |
annotate
|
Mon, 31 Dec 2018 13:07:24 +0100 |
wenzelm |
update theory sources based on PIDE markup;
|
file |
diff |
annotate
|