src/Pure/Thy/sessions.scala
Fri, 18 May 2018 21:05:10 +0200 wenzelm clarified heap vs. database operations: discontinued correlation of directory;
Fri, 18 May 2018 17:21:12 +0200 wenzelm tuned signature;
Fri, 18 May 2018 17:09:55 +0200 wenzelm support Store with options;
Thu, 17 May 2018 16:42:13 +0200 wenzelm tuned signature;
Thu, 17 May 2018 15:38:36 +0200 wenzelm clarified signature;
Sun, 13 May 2018 16:37:36 +0200 wenzelm tuned signature;
Sat, 05 May 2018 13:56:51 +0200 wenzelm cleanup session output before starting build job;
Fri, 20 Apr 2018 22:17:42 +0200 wenzelm support for XZ.Cache;
Thu, 22 Mar 2018 16:20:53 +0100 wenzelm clarified signature: prefer selective include_sessions;
Fri, 16 Mar 2018 16:38:46 +0100 wenzelm tuned signature;
Thu, 15 Mar 2018 21:26:39 +0100 wenzelm support for "session_start";
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");
Tue, 13 Mar 2018 18:28:12 +0100 wenzelm tuned;
Tue, 23 Jan 2018 19:25:39 +0100 wenzelm treat sessions as entities with defining position;
Fri, 19 Jan 2018 14:55:46 +0100 wenzelm formal treatment of documentation names;
Fri, 29 Dec 2017 17:40:57 +0100 wenzelm formal check of @{cite} bibtex entries -- only in batch-mode session builds;
Thu, 28 Dec 2017 21:45:28 +0100 wenzelm implicit thy_load context for bibtex files;
Thu, 28 Dec 2017 12:26:57 +0100 wenzelm avoid clash with special files in HTML output;
Thu, 28 Dec 2017 12:13:56 +0100 wenzelm tuned signature;
Sat, 16 Dec 2017 21:53:07 +0100 wenzelm added document antiquotation @{session name};
Sat, 16 Dec 2017 16:57:06 +0100 wenzelm disallow theory name "ROOT";
Sat, 16 Dec 2017 16:46:01 +0100 wenzelm PIDE markup for session ROOT files;
Sat, 16 Dec 2017 12:28:46 +0100 wenzelm tuned;
Mon, 27 Nov 2017 15:59:24 +0100 wenzelm retain files in Pure.thy, notably $POLYML_EXE;
Sun, 12 Nov 2017 19:46:19 +0100 wenzelm tuned signature;
Sun, 12 Nov 2017 12:55:10 +0100 wenzelm tuned;
Sun, 12 Nov 2017 12:41:05 +0100 wenzelm tuned signature;
Tue, 07 Nov 2017 21:32:22 +0100 wenzelm clarified signature (again);
Tue, 07 Nov 2017 17:16:53 +0100 wenzelm clarified exclusion: operate on completed selection, as last step;
Tue, 07 Nov 2017 17:21:39 +0100 wenzelm tuned;
Tue, 07 Nov 2017 16:50:26 +0100 wenzelm tuned signature;
Tue, 07 Nov 2017 16:44:25 +0100 wenzelm clarifified selection: always wrt. build_graph structure;
Tue, 07 Nov 2017 15:50:36 +0100 wenzelm tuned;
Tue, 07 Nov 2017 15:45:33 +0100 wenzelm tuned signature;
Tue, 07 Nov 2017 11:11:37 +0100 wenzelm backed out odd "bug fix" 671decd2e627;
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");
Sat, 04 Nov 2017 17:11:21 +0100 wenzelm clarified lazy Completion within Outer_Syntax: measurable speedup of Sessions.deps;
Thu, 02 Nov 2017 15:21:35 +0100 wenzelm proper deps;
Thu, 02 Nov 2017 11:47:32 +0100 wenzelm allow unrelated ancestor;
Thu, 02 Nov 2017 11:25:37 +0100 wenzelm support alternative ancestor session;
Thu, 02 Nov 2017 10:16:22 +0100 wenzelm support focus_session, for much faster startup of Isabelle/jEdit;
Wed, 01 Nov 2017 21:02:16 +0100 wenzelm init only once (see also c0f776b661fa);
Wed, 01 Nov 2017 16:58:38 +0100 wenzelm clarified terminology;
Wed, 01 Nov 2017 16:43:51 +0100 wenzelm tuned signature;
Wed, 01 Nov 2017 16:38:15 +0100 wenzelm do not store bulky Session.Deps;
Wed, 01 Nov 2017 16:31:27 +0100 wenzelm avoid duplicate invocation of expensive Sessions.deps on full_sessions;
Wed, 01 Nov 2017 12:28:20 +0100 wenzelm clarified ROOT syntax: 'sessions' and 'theories' are optional, but need to be non-empty;
Tue, 31 Oct 2017 22:17:38 +0100 wenzelm removed unused option, which is potentially expensive;
Tue, 31 Oct 2017 21:50:09 +0100 wenzelm allow to augment session context via explicit session infos;
Tue, 31 Oct 2017 20:57:44 +0100 wenzelm synthesize session with all required theories from other session imports;
Tue, 31 Oct 2017 19:29:24 +0100 wenzelm clarified signature;
Tue, 31 Oct 2017 18:56:24 +0100 wenzelm clarified signature;
Tue, 31 Oct 2017 18:45:33 +0100 wenzelm clarified signature;
Tue, 31 Oct 2017 17:56:28 +0100 wenzelm clarified signature;
Tue, 31 Oct 2017 17:15:49 +0100 wenzelm clarified signature: global_theories is always required;
Tue, 31 Oct 2017 16:42:20 +0100 wenzelm tuned signature;
Tue, 31 Oct 2017 15:55:50 +0100 wenzelm clarified modules;
Tue, 31 Oct 2017 15:15:02 +0100 wenzelm more permissive: db could be empty after hard crash;
Wed, 25 Oct 2017 11:35:48 +0200 wenzelm uniform system name;
Mon, 16 Oct 2017 14:32:09 +0200 wenzelm provide theory timing information, similar to command timing but always considered relevant;
less more (0) -100 -60 tip