| Wed, 13 Mar 2019 13:46:16 +0100 |
wenzelm |
more sanity checks;
|
file |
diff |
annotate
|
| Sun, 03 Mar 2019 19:12:28 +0100 |
wenzelm |
clarified 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
|
| Fri, 15 Feb 2019 17:10:09 +0100 |
wenzelm |
clarified meta_digest: export_files is a directive for physical output from existing build database;
|
file |
diff |
annotate
|
| Wed, 30 Jan 2019 16:44:29 +0100 |
wenzelm |
support for session information via virtual file-system;
|
file |
diff |
annotate
|
| Wed, 16 Jan 2019 17:55:26 +0100 |
wenzelm |
support pruning of export names;
|
file |
diff |
annotate
|
| Mon, 31 Dec 2018 20:13:36 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Fri, 28 Dec 2018 16:58:27 +0100 |
wenzelm |
clarified sessions_deps, according to Isabelle/MMT usage;
|
file |
diff |
annotate
|
| Mon, 03 Dec 2018 14:59:42 +0100 |
wenzelm |
static type for Library.using: avoid Java 11 warnings on "Illegal reflective access";
|
file |
diff |
annotate
|
| Wed, 28 Nov 2018 16:14:31 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 07 Nov 2018 21:42:16 +0100 |
wenzelm |
more general support for Isabelle/PIDE file formats -- less hardwired Bibtex operations;
|
file |
diff |
annotate
|
| Mon, 01 Oct 2018 19:30:36 +0200 |
wenzelm |
tuned output -- avoid bombing of Scala toplevel, e.g. for AFP deps;
|
file |
diff |
annotate
|
| Sat, 29 Sep 2018 17:08:07 +0200 |
wenzelm |
tuned message according to ML version;
|
file |
diff |
annotate
|
| Wed, 26 Sep 2018 22:38:16 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 21 Sep 2018 16:47:03 +0200 |
wenzelm |
suppress some theories to allow "isabelle dump -o skip_proofs";
|
file |
diff |
annotate
|
| Fri, 21 Sep 2018 14:31:07 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 18 Sep 2018 23:07:34 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 17 Sep 2018 22:10:58 +0200 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
| Mon, 17 Sep 2018 22:06:11 +0200 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
| Mon, 17 Sep 2018 21:50:14 +0200 |
wenzelm |
more detailed session dependencies, with conditions for theories;
|
file |
diff |
annotate
|
| Wed, 29 Aug 2018 12:44:17 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 25 Aug 2018 20:48:16 +0200 |
wenzelm |
more uniform cartouche syntax;
|
file |
diff |
annotate
|
| Sat, 18 Aug 2018 14:16:24 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 15 Aug 2018 13:02:48 +0200 |
wenzelm |
canonical session directories in correspondence to Known.files;
|
file |
diff |
annotate
|
| Wed, 01 Aug 2018 20:58:41 +0200 |
wenzelm |
isabelle build options -c -x -B refer to imports_graph;
|
file |
diff |
annotate
|
| Wed, 01 Aug 2018 19:48:58 +0200 |
wenzelm |
more uniform checks;
|
file |
diff |
annotate
|
| Wed, 01 Aug 2018 19:38:06 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 29 Jun 2018 16:53:37 +0200 |
wenzelm |
clarified error;
|
file |
diff |
annotate
|
| Wed, 27 Jun 2018 20:31:22 +0200 |
wenzelm |
clarified settings -- avoid hard-wired directories;
|
file |
diff |
annotate
|
| Fri, 22 Jun 2018 18:31:50 +0200 |
wenzelm |
include target sessions as well: avoid default "Draft" qualification;
|
file |
diff |
annotate
|
| Mon, 04 Jun 2018 14:21:16 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Tue, 29 May 2018 15:04:02 +0200 |
wenzelm |
more accurate dependencies;
|
file |
diff |
annotate
|
| Mon, 28 May 2018 21:29:03 +0200 |
wenzelm |
more accurate theory_graph: avoid imports of loaded_theories with incomplete node name;
|
file |
diff |
annotate
|
| Mon, 28 May 2018 17:40:34 +0200 |
wenzelm |
clarified signature: Known.theories retains Document.Node.Entry (with header);
|
file |
diff |
annotate
|
| Mon, 28 May 2018 11:15:17 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 26 May 2018 21:24:07 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 26 May 2018 19:40:02 +0200 |
wenzelm |
support 'export_files' in session ROOT;
|
file |
diff |
annotate
|
| Sat, 19 May 2018 20:05:13 +0200 |
wenzelm |
support for build_database_server (PostgreSQL);
|
file |
diff |
annotate
|
| Sat, 19 May 2018 16:13:39 +0200 |
wenzelm |
clarified store.clean_output: cleanup user_output_dir even in system_mode;
|
file |
diff |
annotate
|
| Sat, 19 May 2018 15:45:45 +0200 |
wenzelm |
clarified store directories;
|
file |
diff |
annotate
|
| Sat, 19 May 2018 14:52:01 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 19 May 2018 14:47:54 +0200 |
wenzelm |
clarified handling of output heap;
|
file |
diff |
annotate
|
| Fri, 18 May 2018 21:50:46 +0200 |
wenzelm |
more abstract database access;
|
file |
diff |
annotate
|
| Fri, 18 May 2018 21:05:10 +0200 |
wenzelm |
clarified heap vs. database operations: discontinued correlation of directory;
|
file |
diff |
annotate
|
| Fri, 18 May 2018 17:21:12 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 18 May 2018 17:09:55 +0200 |
wenzelm |
support Store with options;
|
file |
diff |
annotate
|
| Thu, 17 May 2018 16:42:13 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Thu, 17 May 2018 15:38:36 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sun, 13 May 2018 16:37:36 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 05 May 2018 13:56:51 +0200 |
wenzelm |
cleanup session output before starting build job;
|
file |
diff |
annotate
|
| Fri, 20 Apr 2018 22:17:42 +0200 |
wenzelm |
support for XZ.Cache;
|
file |
diff |
annotate
|
| Thu, 22 Mar 2018 16:20:53 +0100 |
wenzelm |
clarified signature: prefer selective include_sessions;
|
file |
diff |
annotate
|
| Fri, 16 Mar 2018 16:38:46 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Thu, 15 Mar 2018 21:26:39 +0100 |
wenzelm |
support for "session_start";
|
file |
diff |
annotate
|
| Tue, 13 Mar 2018 21:04:42 +0100 |
wenzelm |
allow cancellation of Sessions.deps/base_info via progress.stopped (progress.echo only happens for options like "verbose");
|
file |
diff |
annotate
|
| Tue, 13 Mar 2018 18:28:12 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 23 Jan 2018 19:25:39 +0100 |
wenzelm |
treat sessions as entities with defining position;
|
file |
diff |
annotate
|
| Fri, 19 Jan 2018 14:55:46 +0100 |
wenzelm |
formal treatment of documentation names;
|
file |
diff |
annotate
|
| Fri, 29 Dec 2017 17:40:57 +0100 |
wenzelm |
formal check of @{cite} bibtex entries -- only in batch-mode session builds;
|
file |
diff |
annotate
|
| Thu, 28 Dec 2017 21:45:28 +0100 |
wenzelm |
implicit thy_load context for bibtex files;
|
file |
diff |
annotate
|