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
|