Sun, 29 Mar 2020 21:57:40 +0200 |
wenzelm |
clarified signature: more explicit type Protocol_Message.Marker;
|
file |
diff |
annotate
|
Sat, 28 Mar 2020 19:58:19 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sat, 28 Mar 2020 19:53:01 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sat, 28 Mar 2020 19:33:14 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sat, 28 Mar 2020 19:11:59 +0100 |
wenzelm |
eliminated pointless flag (see also 6533ceee4cd7);
|
file |
diff |
annotate
|
Sat, 28 Mar 2020 18:33:25 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sat, 28 Mar 2020 14:01:45 +0100 |
wenzelm |
clarified Isabelle_Process phases;
|
file |
diff |
annotate
|
Sat, 28 Mar 2020 12:06:37 +0100 |
wenzelm |
clarified signature: more robust startup_join;
|
file |
diff |
annotate
|
Fri, 27 Mar 2020 22:01:27 +0100 |
wenzelm |
misc tuning based on hints by IntelliJ IDEA;
|
file |
diff |
annotate
|
Fri, 27 Mar 2020 12:46:56 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Fri, 27 Mar 2020 12:28:55 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Fri, 27 Mar 2020 12:15:26 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Fri, 27 Mar 2020 12:03:20 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Fri, 20 Mar 2020 16:21:58 +0100 |
wenzelm |
avoid duplicate stderr output in isabelle build -v, e.g. "Timing ..." (amending a829207b32a3);
|
file |
diff |
annotate
|
Sat, 23 Nov 2019 11:36:42 +0100 |
wenzelm |
clarified error: tmp file can be invalid in odd situations;
|
file |
diff |
annotate
|
Sun, 06 Oct 2019 16:25:20 +0200 |
wenzelm |
clarified signature: more options;
|
file |
diff |
annotate
|
Mon, 16 Sep 2019 16:00:10 +0200 |
wenzelm |
find theories via session directories only -- ignore known_theories;
|
file |
diff |
annotate
|
Thu, 12 Sep 2019 13:33:09 +0200 |
wenzelm |
find theory files via session structure: much faster Prover IDE startup;
|
file |
diff |
annotate
|
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
|