| Mon, 30 Mar 2020 19:39:11 +0200 |
wenzelm |
more accurate treatment of errors;
|
file |
diff |
annotate
|
| Mon, 30 Mar 2020 11:59:44 +0200 |
wenzelm |
clarified modules: global quasi-scope for markers;
|
file |
diff |
annotate
|
| Sun, 29 Mar 2020 22:30:26 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 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
|
| Thu, 08 Mar 2018 11:46:37 +0100 |
wenzelm |
clarified notion of unknown files: ignore files outside of a Mercurial repository;
|
file |
diff |
annotate
|
| Tue, 23 Jan 2018 19:25:39 +0100 |
wenzelm |
treat sessions as entities with defining position;
|
file |
diff |
annotate
|
| Fri, 19 Jan 2018 14:55:46 +0100 |
wenzelm |
formal treatment of documentation names;
|
file |
diff |
annotate
|
| Mon, 08 Jan 2018 22:36:02 +0100 |
wenzelm |
clarified implicit Pure.thy;
|
file |
diff |
annotate
|
| Fri, 29 Dec 2017 17:40:57 +0100 |
wenzelm |
formal check of @{cite} bibtex entries -- only in batch-mode session builds;
|
file |
diff |
annotate
|
| Sat, 16 Dec 2017 21:53:07 +0100 |
wenzelm |
added document antiquotation @{session name};
|
file |
diff |
annotate
|
| Mon, 27 Nov 2017 16:07:49 +0100 |
wenzelm |
suppress warning;
|
file |
diff |
annotate
|
| Sun, 12 Nov 2017 12:41:05 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 07 Nov 2017 21:40:53 +0100 |
wenzelm |
proper build_selection for clean_build (amending 961285f581e6): e.g. relevant for "isabelle build_doc";
|
file |
diff |
annotate
|
| Tue, 07 Nov 2017 16:50:26 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 07 Nov 2017 16:44:25 +0100 |
wenzelm |
clarifified selection: always wrt. build_graph structure;
|
file |
diff |
annotate
|
| Sun, 05 Nov 2017 15:50:26 +0100 |
wenzelm |
updated comments;
|
file |
diff |
annotate
|
| Wed, 01 Nov 2017 13:06:01 +0100 |
wenzelm |
no heap sharing for empty session (e.g. HOL-ODE);
|
file |
diff |
annotate
|
| Tue, 31 Oct 2017 21:50:09 +0100 |
wenzelm |
allow to augment session context via explicit session infos;
|
file |
diff |
annotate
|
| Tue, 31 Oct 2017 17:15:49 +0100 |
wenzelm |
clarified signature: global_theories is always required;
|
file |
diff |
annotate
|
| Tue, 31 Oct 2017 17:03:57 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 30 Oct 2017 19:19:24 +0100 |
wenzelm |
more informative timeout message, notably for build_status;
|
file |
diff |
annotate
|
| Mon, 30 Oct 2017 18:39:30 +0100 |
wenzelm |
clarified: adapted to ML version;
|
file |
diff |
annotate
|
| Mon, 16 Oct 2017 14:32:09 +0200 |
wenzelm |
provide theory timing information, similar to command timing but always considered relevant;
|
file |
diff |
annotate
|
| Thu, 12 Oct 2017 11:25:06 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 11 Oct 2017 20:16:00 +0200 |
wenzelm |
added isablle build option -f;
|
file |
diff |
annotate
|
| Mon, 09 Oct 2017 21:12:22 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 08 Oct 2017 12:50:18 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 02 Oct 2017 15:37:46 +0200 |
wenzelm |
more compact (second-order) digest for 10^2..10^3 source files, with slightly increased risk of collisions;
|
file |
diff |
annotate
|
| Mon, 02 Oct 2017 13:40:51 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 02 Oct 2017 13:33:36 +0200 |
wenzelm |
sources_stamp refers to full sources;
|
file |
diff |
annotate
|
| Mon, 02 Oct 2017 11:43:17 +0200 |
wenzelm |
option -S for "isabelle build";
|
file |
diff |
annotate
|
| Sun, 01 Oct 2017 20:50:26 +0200 |
wenzelm |
persistent storage of imported_sources;
|
file |
diff |
annotate
|
| Sun, 01 Oct 2017 13:07:31 +0200 |
wenzelm |
option -B for "isabelle build" and "isabelle imports";
|
file |
diff |
annotate
|
| Sun, 01 Oct 2017 12:28:52 +0200 |
wenzelm |
more standard merge operation;
|
file |
diff |
annotate
|
| Fri, 29 Sep 2017 20:49:42 +0200 |
wenzelm |
more informative loaded_theories: dependencies and syntax;
|
file |
diff |
annotate
|
| Thu, 28 Sep 2017 15:11:32 +0200 |
wenzelm |
session-qualified theory names are mandatory;
|
file |
diff |
annotate
|
| Fri, 15 Sep 2017 17:50:52 +0200 |
wenzelm |
clarified messages: after writing all files (see also 27f90319a499 and 57c85c83c11b);
|
file |
diff |
annotate
|
| Sat, 02 Sep 2017 12:55:44 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 02 Sep 2017 12:09:07 +0200 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
| Thu, 31 Aug 2017 16:30:46 +0200 |
wenzelm |
clarified errors;
|
file |
diff |
annotate
|
| Fri, 26 May 2017 15:28:46 +0200 |
wenzelm |
more selective database access;
|
file |
diff |
annotate
|
| Sun, 14 May 2017 20:16:13 +0200 |
wenzelm |
implicitly check for unknown files (not part of a Mercurial repository);
|
file |
diff |
annotate
|
| Sun, 14 May 2017 17:19:46 +0200 |
wenzelm |
prefer explicit progress channel;
|
file |
diff |
annotate
|
| Sun, 14 May 2017 17:05:06 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 14 May 2017 17:01:05 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 21 Apr 2017 14:09:03 +0200 |
wenzelm |
eliminated default_qualifier: just a constant;
|
file |
diff |
annotate
|
| Thu, 20 Apr 2017 10:35:00 +0200 |
wenzelm |
clarified;
|
file |
diff |
annotate
|
| Wed, 19 Apr 2017 20:10:34 +0200 |
wenzelm |
more position information;
|
file |
diff |
annotate
|
| Tue, 18 Apr 2017 19:14:01 +0200 |
wenzelm |
more robust error (amending 2c27c3d1fd3b): responsibility is gradually moved from ML to Scala;
|
file |
diff |
annotate
|
| Wed, 12 Apr 2017 22:32:55 +0200 |
wenzelm |
clarified loaded_theories: map to qualified theory name;
|
file |
diff |
annotate
|
| Mon, 10 Apr 2017 16:43:12 +0200 |
wenzelm |
proper import qualifier for global theories;
|
file |
diff |
annotate
|
| Mon, 10 Apr 2017 13:30:55 +0200 |
wenzelm |
explicit theory qualifier for session "HOL-Proofs": its theory name space overlaps with session "HOL", even for further imports;
|
file |
diff |
annotate
|
| Sat, 08 Apr 2017 20:56:41 +0200 |
wenzelm |
more session_base information in ML;
|
file |
diff |
annotate
|
| Fri, 07 Apr 2017 20:25:01 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 07 Apr 2017 19:35:39 +0200 |
wenzelm |
provide session base for "isabelle build" and "isabelle console" ML process;
|
file |
diff |
annotate
|
| Fri, 07 Apr 2017 13:07:43 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 07 Apr 2017 11:50:49 +0200 |
wenzelm |
support for static session imports, without affect build hierarchy;
|
file |
diff |
annotate
|
| Fri, 07 Apr 2017 10:47:25 +0200 |
wenzelm |
explicit Sessions.Selection;
|
file |
diff |
annotate
|
| Thu, 06 Apr 2017 22:04:30 +0200 |
wenzelm |
clarified signature: tree structure is not essential;
|
file |
diff |
annotate
|
| Thu, 06 Apr 2017 15:20:45 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 05 Apr 2017 22:00:44 +0200 |
wenzelm |
uniform import_name, with treatment of global and qualified theories;
|
file |
diff |
annotate
|