| Fri, 05 Nov 2021 20:10:09 +0100 |
wenzelm |
prefer "NAME|KIND" format, as already used in Isabelle/MMT and Isabelle/Dedukti;
|
file |
diff |
annotate
|
| Fri, 05 Nov 2021 20:06:26 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 05 Nov 2021 19:53:35 +0100 |
wenzelm |
observer proper session hierarchy (according to build_graph): thus exported artifacts are always valid;
|
file |
diff |
annotate
|
| Fri, 05 Nov 2021 19:15:18 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 05 Nov 2021 12:36:00 +0100 |
wenzelm |
more thorough update_global_index: overwrite old content;
|
file |
diff |
annotate
|
| Fri, 05 Nov 2021 12:33:27 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 05 Nov 2021 12:11:30 +0100 |
wenzelm |
clarified HTML_Context: just one context type;
|
file |
diff |
annotate
|
| Thu, 04 Nov 2021 19:22:11 +0100 |
wenzelm |
clarified Theory_Cache: prefer immutable data with Synchronized variable;
|
file |
diff |
annotate
|
| Thu, 04 Nov 2021 16:47:28 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Thu, 04 Nov 2021 15:44:37 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 04 Nov 2021 12:32:42 +0100 |
wenzelm |
tuned messages;
|
file |
diff |
annotate
|
| Thu, 04 Nov 2021 12:25:23 +0100 |
wenzelm |
clarified signature: more direct XML.symbol_length;
|
file |
diff |
annotate
|
| Thu, 04 Nov 2021 12:19:49 +0100 |
wenzelm |
more direct Symbol.length: Symbol.decode is redundant, symbol counts are invariant under it;
|
file |
diff |
annotate
|
| Wed, 03 Nov 2021 22:55:22 +0100 |
wenzelm |
clarified link style: similar to Isabelle/jEdit;
|
file |
diff |
annotate
|
| Wed, 03 Nov 2021 22:03:56 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 03 Nov 2021 21:06:04 +0100 |
wenzelm |
improved HTML presentation by Fabian Huch;
|
file |
diff |
annotate
|
| Wed, 03 Nov 2021 20:53:52 +0100 |
wenzelm |
proper HTTPS;
|
file |
diff |
annotate
|
| Wed, 03 Nov 2021 12:04:22 +0100 |
wenzelm |
recover library_index_content.template from c337c798f64c: required for website/build/main;
|
file |
diff |
annotate
|
| Mon, 17 May 2021 16:15:25 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Thu, 01 Apr 2021 19:07:06 +0200 |
wenzelm |
more standard header, with utf-8 encoding;
|
file |
diff |
annotate
|
| Thu, 01 Apr 2021 19:01:19 +0200 |
wenzelm |
clarified HTML template (see also 04cb7e02ca38): avoid odd patching of sources;
|
file |
diff |
annotate
|
| Wed, 31 Mar 2021 22:58:17 +0200 |
wenzelm |
further clarification of Isabelle distribution identification -- avoid odd patching of sources;
|
file |
diff |
annotate
|
| Tue, 23 Mar 2021 13:27:15 +0100 |
wenzelm |
turn LaTeX warning into error, for the sake of isabelle.sty/bbbfont;
|
file |
diff |
annotate
|
| Mon, 01 Mar 2021 22:22:12 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Sat, 27 Feb 2021 18:04:29 +0100 |
wenzelm |
clarified modules: more like ML;
|
file |
diff |
annotate
|
| Mon, 22 Feb 2021 15:24:04 +0100 |
wenzelm |
clarified signature: always trim_line of Process_Result.out/err, uniformly in ML and Scala;
|
file |
diff |
annotate
|
| Sun, 31 Jan 2021 20:44:42 +0100 |
wenzelm |
clarified messages;
|
file |
diff |
annotate
|
| Sun, 31 Jan 2021 20:39:16 +0100 |
wenzelm |
more parallel;
|
file |
diff |
annotate
|
| Sun, 31 Jan 2021 19:46:40 +0100 |
wenzelm |
more parallel;
|
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
|
| Tue, 05 Jan 2021 17:22:07 +0100 |
wenzelm |
proper treatment of XML.Wrapped_Elem, e.g. Markup.class_parameter;
|
file |
diff |
annotate
|
| Tue, 05 Jan 2021 16:24:59 +0100 |
wenzelm |
more robust and permissive;
|
file |
diff |
annotate
|
| Tue, 05 Jan 2021 15:47:23 +0100 |
wenzelm |
present theory using PIDE markup;
|
file |
diff |
annotate
|
| Tue, 05 Jan 2021 14:21:18 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Tue, 05 Jan 2021 13:08:45 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 04 Jan 2021 13:40:16 +0100 |
wenzelm |
misc tuning and clarification;
|
file |
diff |
annotate
|
| Mon, 04 Jan 2021 13:23:51 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 04 Jan 2021 13:01:47 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 03 Jan 2021 16:21:59 +0100 |
wenzelm |
clarified HTML presentation elements;
|
file |
diff |
annotate
|
| Sat, 02 Jan 2021 16:30:43 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 02 Jan 2021 00:05:25 +0100 |
wenzelm |
more verbosity for potentially bulky presentation;
|
file |
diff |
annotate
|
| 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
|