Thu, 08 Jul 2021 13:34:12 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Mon, 07 Jun 2021 11:42:05 +0200 |
wenzelm |
allow system option short form NAME for NAME=true for type string, not just bool;
|
file |
diff |
annotate
|
Sat, 05 Jun 2021 21:01:00 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Sat, 05 Jun 2021 20:20:25 +0200 |
wenzelm |
clarified check (refining fc828f64da5b): etc/settings or etc/components is not strictly required according to "init_component", and notable components only have session ROOTS (e.g. AFP/thys);
|
file |
diff |
annotate
|
Mon, 17 May 2021 16:15:25 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Sun, 16 May 2021 13:14:16 +0200 |
wenzelm |
ignore session build timeout, notably in AFP;
|
file |
diff |
annotate
|
Sun, 16 May 2021 13:06:13 +0200 |
wenzelm |
check timeout_ignored as in ML, before applying timeout_scale;
|
file |
diff |
annotate
|
Thu, 04 Mar 2021 21:04:27 +0100 |
wenzelm |
clarified signature --- fewer warnings;
|
file |
diff |
annotate
|
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
|
Fri, 20 Nov 2020 23:47:34 +0100 |
wenzelm |
generate theory HTML in Isabelle/Scala;
|
file |
diff |
annotate
|
Fri, 20 Nov 2020 12:00:08 +0100 |
wenzelm |
proper meta_digest: avoid non-portable position information;
|
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
|
Wed, 18 Nov 2020 15:36:41 +0100 |
wenzelm |
clarified signature: more explicit types;
|
file |
diff |
annotate
|
Wed, 18 Nov 2020 13:16:08 +0100 |
wenzelm |
more explicit presentation directory;
|
file |
diff |
annotate
|
Wed, 18 Nov 2020 13:14:01 +0100 |
wenzelm |
more robust, e.g. for "isabelle build_doc system";
|
file |
diff |
annotate
|
Tue, 17 Nov 2020 16:34:01 +0100 |
wenzelm |
clarified access to single database server vs. collection of database files;
|
file |
diff |
annotate
|
Mon, 16 Nov 2020 23:27:43 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Mon, 16 Nov 2020 23:19:07 +0100 |
wenzelm |
clarified signature: theory imports could be from other sessions;
|
file |
diff |
annotate
|
Mon, 16 Nov 2020 22:23:04 +0100 |
wenzelm |
HTML presentation in Isabelle/Scala, based on theory html exports from Isabelle/ML;
|
file |
diff |
annotate
|
Sun, 15 Nov 2020 22:00:45 +0100 |
wenzelm |
refer to session structure from resources;
|
file |
diff |
annotate
|
Sun, 15 Nov 2020 17:34:19 +0100 |
wenzelm |
clarified bibtex_entries: refer to overall session structure;
|
file |
diff |
annotate
|
Sat, 14 Nov 2020 16:53:18 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sat, 14 Nov 2020 16:49:48 +0100 |
wenzelm |
proper theory name;
|
file |
diff |
annotate
|
Sat, 14 Nov 2020 12:55:05 +0100 |
wenzelm |
official support for document theories from other sessions;
|
file |
diff |
annotate
|
Wed, 11 Nov 2020 21:00:14 +0100 |
wenzelm |
build documents in Isabelle/Scala, based on generated tex files as session exports;
|
file |
diff |
annotate
|
Tue, 10 Nov 2020 12:48:56 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sun, 08 Nov 2020 21:27:08 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Mon, 05 Oct 2020 21:15:58 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Mon, 28 Sep 2020 22:22:56 +0200 |
wenzelm |
some support for document preparation in Isabelle/Scala;
|
file |
diff |
annotate
|
Fri, 24 Jul 2020 15:02:16 +0200 |
wenzelm |
clarified errors: avoid hiding of import_errors/dir_errors by their consequences (file-access problems);
|
file |
diff |
annotate
|