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
|