| Sat, 07 Sep 2019 15:18:06 +0200 |
wenzelm |
clarified signature: retain global session information, unaffected by later restriction;
|
file |
diff |
annotate
|
| Mon, 12 Aug 2019 15:22:32 +0200 |
wenzelm |
output physical_stderr, e.g. for low-level debugging;
|
file |
diff |
annotate
|
| Wed, 07 Aug 2019 11:09:37 +0200 |
wenzelm |
removed junk (cf. fa933b98d64d);
|
file |
diff |
annotate
|
| Thu, 01 Aug 2019 10:14:58 +0200 |
wenzelm |
clarified module structure;
|
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:00:21 +0100 |
wenzelm |
clarified 'export_files' in session ROOT: require explicit "isabelle build -e";
|
file |
diff |
annotate
|
| Thu, 31 Jan 2019 21:33:24 +0100 |
wenzelm |
removed left-over test material (amending bb0a354f6b46);
|
file |
diff |
annotate
|
| Sun, 27 Jan 2019 17:30:09 +0100 |
wenzelm |
updated to polyml-test-1b2dcf8f5202;
|
file |
diff |
annotate
|
| Wed, 16 Jan 2019 17:55:26 +0100 |
wenzelm |
support pruning of export names;
|
file |
diff |
annotate
|
| Sat, 29 Dec 2018 19:26:48 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 28 Nov 2018 16:33:45 +0100 |
wenzelm |
prefer "Isabelle DejaVu Sans", even for headless batch-build (session_graph.pdf);
|
file |
diff |
annotate
|
| Sun, 09 Sep 2018 11:53:53 +0200 |
wenzelm |
clarified theory progress;
|
file |
diff |
annotate
|
| Sat, 08 Sep 2018 22:09:52 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 07 Sep 2018 19:11:34 +0200 |
wenzelm |
clarified rc;
|
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 16:33:33 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 23 Jun 2018 17:05:59 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 23 Jun 2018 14:23:53 +0200 |
wenzelm |
clarified queue ordering: take session descendants into account, notably for "slow" AFP sessions;
|
file |
diff |
annotate
|
| Wed, 30 May 2018 14:46:04 +0200 |
wenzelm |
clarified outermost progress.interrupt_handler;
|
file |
diff |
annotate
|
| Mon, 28 May 2018 13:35:43 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 26 May 2018 19:40:02 +0200 |
wenzelm |
support 'export_files' in session ROOT;
|
file |
diff |
annotate
|
| Sat, 26 May 2018 16:52:03 +0200 |
wenzelm |
clarified cache;
|
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:47:54 +0200 |
wenzelm |
clarified handling of output heap;
|
file |
diff |
annotate
|
| Sat, 19 May 2018 14:12:44 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 18 May 2018 21:50:46 +0200 |
wenzelm |
more abstract database access;
|
file |
diff |
annotate
|
| Fri, 18 May 2018 21:08:24 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 18 May 2018 21:05:10 +0200 |
wenzelm |
clarified heap vs. database operations: discontinued correlation of directory;
|
file |
diff |
annotate
|