| 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
|