| Wed, 29 Aug 2018 12:44:17 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 25 Aug 2018 20:48:16 +0200 |
wenzelm |
more uniform cartouche syntax;
|
file |
diff |
annotate
|
| Sat, 18 Aug 2018 14:16:24 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 15 Aug 2018 13:02:48 +0200 |
wenzelm |
canonical session directories in correspondence to Known.files;
|
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 19:48:58 +0200 |
wenzelm |
more uniform checks;
|
file |
diff |
annotate
|
| Wed, 01 Aug 2018 19:38:06 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 29 Jun 2018 16:53:37 +0200 |
wenzelm |
clarified error;
|
file |
diff |
annotate
|
| Wed, 27 Jun 2018 20:31:22 +0200 |
wenzelm |
clarified settings -- avoid hard-wired directories;
|
file |
diff |
annotate
|
| Fri, 22 Jun 2018 18:31:50 +0200 |
wenzelm |
include target sessions as well: avoid default "Draft" qualification;
|
file |
diff |
annotate
|
| Mon, 04 Jun 2018 14:21:16 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Tue, 29 May 2018 15:04:02 +0200 |
wenzelm |
more accurate dependencies;
|
file |
diff |
annotate
|
| Mon, 28 May 2018 21:29:03 +0200 |
wenzelm |
more accurate theory_graph: avoid imports of loaded_theories with incomplete node name;
|
file |
diff |
annotate
|
| Mon, 28 May 2018 17:40:34 +0200 |
wenzelm |
clarified signature: Known.theories retains Document.Node.Entry (with header);
|
file |
diff |
annotate
|
| Mon, 28 May 2018 11:15:17 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 26 May 2018 21:24:07 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 26 May 2018 19:40:02 +0200 |
wenzelm |
support 'export_files' in session ROOT;
|
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:52:01 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 19 May 2018 14:47:54 +0200 |
wenzelm |
clarified handling of output heap;
|
file |
diff |
annotate
|
| Fri, 18 May 2018 21:50:46 +0200 |
wenzelm |
more abstract database access;
|
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:21:12 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 18 May 2018 17:09:55 +0200 |
wenzelm |
support Store with options;
|
file |
diff |
annotate
|
| Thu, 17 May 2018 16:42:13 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Thu, 17 May 2018 15:38:36 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sun, 13 May 2018 16:37:36 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 05 May 2018 13:56:51 +0200 |
wenzelm |
cleanup session output before starting build job;
|
file |
diff |
annotate
|
| Fri, 20 Apr 2018 22:17:42 +0200 |
wenzelm |
support for XZ.Cache;
|
file |
diff |
annotate
|
| Thu, 22 Mar 2018 16:20:53 +0100 |
wenzelm |
clarified signature: prefer selective include_sessions;
|
file |
diff |
annotate
|
| Fri, 16 Mar 2018 16:38:46 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Thu, 15 Mar 2018 21:26:39 +0100 |
wenzelm |
support for "session_start";
|
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:28:12 +0100 |
wenzelm |
tuned;
|
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
|
| Fri, 29 Dec 2017 17:40:57 +0100 |
wenzelm |
formal check of @{cite} bibtex entries -- only in batch-mode session builds;
|
file |
diff |
annotate
|
| Thu, 28 Dec 2017 21:45:28 +0100 |
wenzelm |
implicit thy_load context for bibtex files;
|
file |
diff |
annotate
|
| Thu, 28 Dec 2017 12:26:57 +0100 |
wenzelm |
avoid clash with special files in HTML output;
|
file |
diff |
annotate
|
| Thu, 28 Dec 2017 12:13:56 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 16 Dec 2017 21:53:07 +0100 |
wenzelm |
added document antiquotation @{session name};
|
file |
diff |
annotate
|
| Sat, 16 Dec 2017 16:57:06 +0100 |
wenzelm |
disallow theory name "ROOT";
|
file |
diff |
annotate
|
| Sat, 16 Dec 2017 16:46:01 +0100 |
wenzelm |
PIDE markup for session ROOT files;
|
file |
diff |
annotate
|
| Sat, 16 Dec 2017 12:28:46 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 27 Nov 2017 15:59:24 +0100 |
wenzelm |
retain files in Pure.thy, notably $POLYML_EXE;
|
file |
diff |
annotate
|
| Sun, 12 Nov 2017 19:46:19 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 12 Nov 2017 12:55:10 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 12 Nov 2017 12:41:05 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 07 Nov 2017 21:32:22 +0100 |
wenzelm |
clarified signature (again);
|
file |
diff |
annotate
|
| Tue, 07 Nov 2017 17:16:53 +0100 |
wenzelm |
clarified exclusion: operate on completed selection, as last step;
|
file |
diff |
annotate
|
| Tue, 07 Nov 2017 17:21:39 +0100 |
wenzelm |
tuned;
|
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
|
| Tue, 07 Nov 2017 15:50:36 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 07 Nov 2017 15:45:33 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 07 Nov 2017 11:11:37 +0100 |
wenzelm |
backed out odd "bug fix" 671decd2e627;
|
file |
diff |
annotate
|
| Sun, 05 Nov 2017 16:57:03 +0100 |
wenzelm |
uniform graph restriction: build_graph is more sparse than imports_graph and may yield different results for exclude_session_groups / exclude_sessions (e.g. "isabelle build -a -X main");
|
file |
diff |
annotate
|
| Sat, 04 Nov 2017 17:11:21 +0100 |
wenzelm |
clarified lazy Completion within Outer_Syntax: measurable speedup of Sessions.deps;
|
file |
diff |
annotate
|