Sun, 29 Mar 2020 22:23:33 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
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
|
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
|
Fri, 18 May 2018 17:09:55 +0200 |
wenzelm |
support Store with options;
|
file |
diff |
annotate
|
Thu, 17 May 2018 15:38:36 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Wed, 16 May 2018 21:36:59 +0200 |
wenzelm |
avoid race condition wrt. ISABELLE_TMP, which is removed in Bash.cleanup() before Bash.result(progress_stdout);
|
file |
diff |
annotate
|
Fri, 11 May 2018 19:57:49 +0200 |
wenzelm |
more scalable -- avoid huge lines within stdout;
|
file |
diff |
annotate
|
Sun, 06 May 2018 23:03:08 +0200 |
wenzelm |
store exports in session database, with asynchronous / parallel compression;
|
file |
diff |
annotate
|
Sat, 05 May 2018 22:33:35 +0200 |
wenzelm |
protocol message for export of theory resources;
|
file |
diff |
annotate
|
Sat, 05 May 2018 13:56:51 +0200 |
wenzelm |
cleanup session output before starting build job;
|
file |
diff |
annotate
|
Tue, 13 Mar 2018 21:04:42 +0100 |
wenzelm |
allow cancellation of Sessions.deps/base_info via progress.stopped (progress.echo only happens for options like "verbose");
|
file |
diff |
annotate
|
Tue, 13 Mar 2018 18:40:25 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Tue, 13 Mar 2018 18:28:12 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Mon, 12 Mar 2018 11:17:59 +0100 |
wenzelm |
tuned imports;
|
file |
diff |
annotate
|