Wed, 23 Dec 2020 23:08:57 +0100 |
wenzelm |
more interrupts;
|
file |
diff |
annotate
|
Wed, 23 Dec 2020 21:32:24 +0100 |
wenzelm |
clarified presentation of files for each theory;
|
file |
diff |
annotate
|
Sun, 20 Dec 2020 16:13:30 +0100 |
wenzelm |
unused;
|
file |
diff |
annotate
|
Sun, 20 Dec 2020 15:47:54 +0100 |
wenzelm |
present auxiliary files with PIDE markup;
|
file |
diff |
annotate
|
Sun, 20 Dec 2020 12:24:41 +0100 |
wenzelm |
tuned signature: more explicit types;
|
file |
diff |
annotate
|
Sat, 19 Dec 2020 15:14:01 +0100 |
wenzelm |
clarified signature and module structure;
|
file |
diff |
annotate
|
Sat, 19 Dec 2020 12:05:17 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sat, 19 Dec 2020 11:43:24 +0100 |
wenzelm |
clarified comments: file-system access is always unsynchronized;
|
file |
diff |
annotate
|
Thu, 10 Dec 2020 23:29:11 +0100 |
wenzelm |
more informative error;
|
file |
diff |
annotate
|
Thu, 10 Dec 2020 22:46:12 +0100 |
wenzelm |
tuned;
|
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
|
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
|
Thu, 26 Nov 2020 12:27:09 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Wed, 25 Nov 2020 12:55:09 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Wed, 25 Nov 2020 12:52:00 +0100 |
wenzelm |
clarified document_output vs. progress;
|
file |
diff |
annotate
|
Tue, 24 Nov 2020 16:39:58 +0100 |
wenzelm |
clarified signature and database layout;
|
file |
diff |
annotate
|
Mon, 23 Nov 2020 16:18:22 +0100 |
wenzelm |
clarified messages;
|
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 17:12:17 +0100 |
wenzelm |
clarified document output;
|
file |
diff |
annotate
|
Sat, 21 Nov 2020 16:07:20 +0100 |
wenzelm |
clarified PDF/HTML presentation, based on pdf blobs from session database (e.g. from earlier builds);
|
file |
diff |
annotate
|
Fri, 20 Nov 2020 23:53:37 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Fri, 20 Nov 2020 23:47:34 +0100 |
wenzelm |
generate theory HTML in Isabelle/Scala;
|
file |
diff |
annotate
|
Thu, 19 Nov 2020 22:05:34 +0100 |
wenzelm |
clarified messages;
|
file |
diff |
annotate
|
Thu, 19 Nov 2020 21:23:12 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Wed, 18 Nov 2020 21:39:55 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Wed, 18 Nov 2020 21:34:13 +0100 |
wenzelm |
store documents within session database, instead of browser_info directory;
|
file |
diff |
annotate
|
Wed, 18 Nov 2020 15:52:12 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
| base
|