Thu, 04 Mar 2021 16:23:34 +0100 |
wenzelm |
proper scala.collection.immutable;
|
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
|
Mon, 01 Mar 2021 22:22:12 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
Sat, 27 Feb 2021 13:37:04 +0100 |
wenzelm |
clarified message;
|
file |
diff |
annotate
|
Sat, 27 Feb 2021 13:20:52 +0100 |
wenzelm |
clarified message;
|
file |
diff |
annotate
|
Mon, 04 Jan 2021 13:23:51 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sat, 02 Jan 2021 22:50:09 +0100 |
wenzelm |
clarified caching;
|
file |
diff |
annotate
|
Sat, 02 Jan 2021 22:22:34 +0100 |
wenzelm |
clarified signature: absorb XZ.Cache into XML.Cache;
|
file |
diff |
annotate
|
Sat, 02 Jan 2021 15:58:48 +0100 |
wenzelm |
clarified signature --- internal Cache.none;
|
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 14:29:30 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Tue, 08 Dec 2020 17:30:24 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Mon, 07 Dec 2020 20:26:09 +0100 |
wenzelm |
clarified signature: provide XZ.Cache where Export.Entry is created;
|
file |
diff |
annotate
|
Mon, 07 Dec 2020 19:22:37 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sun, 06 Dec 2020 21:43:52 +0100 |
wenzelm |
clarified File_Format.detect: needs to operate on full node name;
|
file |
diff |
annotate
|
Sun, 06 Dec 2020 16:27:37 +0100 |
wenzelm |
PIDE support for session ROOTS;
|
file |
diff |
annotate
|
Sun, 06 Dec 2020 13:22:20 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sat, 05 Dec 2020 12:14:40 +0100 |
wenzelm |
support for PIDE markup for auxiliary files ("blobs");
|
file |
diff |
annotate
|
Tue, 01 Dec 2020 16:07:19 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Sat, 28 Nov 2020 21:56:24 +0100 |
wenzelm |
added document antiquotation @{tool};
|
file |
diff |
annotate
|
Sat, 28 Nov 2020 17:38:03 +0100 |
wenzelm |
clarified protocol: Doc.check at run-time via Scala function;
|
file |
diff |
annotate
|
Thu, 26 Nov 2020 23:23:19 +0100 |
wenzelm |
store timings for used_theories in canonical order, with reconstructed store.read_theories;
|
file |
diff |
annotate
|
Thu, 26 Nov 2020 12:27:09 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Thu, 26 Nov 2020 12:21:45 +0100 |
wenzelm |
clarified signature --- avoid repeated open_database on server;
|
file |
diff |
annotate
|
Tue, 24 Nov 2020 16:39:58 +0100 |
wenzelm |
clarified signature and database layout;
|
file |
diff |
annotate
|
Sat, 21 Nov 2020 21:02:38 +0100 |
wenzelm |
clarified signature: prefer Database_Context;
|
file |
diff |
annotate
|
Sat, 21 Nov 2020 20:35:48 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Sat, 21 Nov 2020 15:20:12 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Fri, 20 Nov 2020 23:53:37 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|