src/Pure/Thy/sessions.scala
Thu, 12 Sep 2019 13:39:04 +0200 wenzelm avoid duplicate directories wrt. synthetic session;
Thu, 12 Sep 2019 13:35:53 +0200 wenzelm disallow accidental duplicates within the same session specification -- proper total match;
Thu, 12 Sep 2019 13:33:09 +0200 wenzelm find theory files via session structure: much faster Prover IDE startup;
Wed, 11 Sep 2019 16:06:10 +0200 wenzelm disallow overlapping session directories;
Sun, 08 Sep 2019 20:04:32 +0200 wenzelm clarified messages;
Sun, 08 Sep 2019 17:49:35 +0200 wenzelm clarified syntax: 'directories' and 'theories' belong together;
Sun, 08 Sep 2019 16:49:32 +0200 wenzelm check session directories;
Sun, 08 Sep 2019 13:07:03 +0200 wenzelm clarified signature: proper Document.Node.Ordering conforming to equality (e.g. required in situations where theory names are ambiguous due to overlapping session directories);
Sat, 07 Sep 2019 19:52:36 +0200 wenzelm theory_name based on session_directories: no need for expensive all_known;
Sat, 07 Sep 2019 16:17:30 +0200 wenzelm clarified session_directories: relative to session_path, with overlapping information;
Sat, 07 Sep 2019 15:18:06 +0200 wenzelm clarified signature: retain global session information, unaffected by later restriction;
Sat, 07 Sep 2019 12:11:42 +0200 wenzelm support for explicit session directories;
Wed, 04 Sep 2019 11:21:07 +0200 wenzelm tuned signature;
Tue, 03 Sep 2019 15:24:04 +0200 wenzelm tuned signature;
Tue, 03 Sep 2019 14:56:43 +0200 wenzelm clarified signature;
Mon, 02 Sep 2019 16:28:09 +0200 wenzelm proper orientation;
Mon, 02 Sep 2019 11:46:27 +0200 wenzelm clarified signature: prefer operations without position;
Mon, 02 Sep 2019 10:41:14 +0200 wenzelm prefer Theory_Ordering theory names are unique (due to proper session context);
Sun, 01 Sep 2019 22:57:25 +0200 wenzelm clarified signature: full dependency graph;
Thu, 29 Aug 2019 17:13:49 +0200 wenzelm more scalable isabelle dump (and derivatives): mark individual theories to share common data in ML;
Wed, 13 Mar 2019 13:46:16 +0100 wenzelm more sanity checks;
Sun, 03 Mar 2019 19:12:28 +0100 wenzelm clarified signature;
Fri, 01 Mar 2019 21:29:59 +0100 wenzelm system option "system_heaps" supersedes various command-line options for "system build mode";
Fri, 15 Feb 2019 17:10:09 +0100 wenzelm clarified meta_digest: export_files is a directive for physical output from existing build database;
Wed, 30 Jan 2019 16:44:29 +0100 wenzelm support for session information via virtual file-system;
Wed, 16 Jan 2019 17:55:26 +0100 wenzelm support pruning of export names;
Mon, 31 Dec 2018 20:13:36 +0100 wenzelm clarified signature;
Fri, 28 Dec 2018 16:58:27 +0100 wenzelm clarified sessions_deps, according to Isabelle/MMT usage;
Mon, 03 Dec 2018 14:59:42 +0100 wenzelm static type for Library.using: avoid Java 11 warnings on "Illegal reflective access";
Wed, 28 Nov 2018 16:14:31 +0100 wenzelm clarified signature;
Wed, 07 Nov 2018 21:42:16 +0100 wenzelm more general support for Isabelle/PIDE file formats -- less hardwired Bibtex operations;
Mon, 01 Oct 2018 19:30:36 +0200 wenzelm tuned output -- avoid bombing of Scala toplevel, e.g. for AFP deps;
Sat, 29 Sep 2018 17:08:07 +0200 wenzelm tuned message according to ML version;
Wed, 26 Sep 2018 22:38:16 +0200 wenzelm tuned signature;
Fri, 21 Sep 2018 16:47:03 +0200 wenzelm suppress some theories to allow "isabelle dump -o skip_proofs";
Fri, 21 Sep 2018 14:31:07 +0200 wenzelm tuned signature;
Tue, 18 Sep 2018 23:07:34 +0200 wenzelm tuned signature;
Mon, 17 Sep 2018 22:10:58 +0200 wenzelm tuned message;
Mon, 17 Sep 2018 22:06:11 +0200 wenzelm tuned message;
Mon, 17 Sep 2018 21:50:14 +0200 wenzelm more detailed session dependencies, with conditions for theories;
Wed, 29 Aug 2018 12:44:17 +0200 wenzelm clarified signature;
Sat, 25 Aug 2018 20:48:16 +0200 wenzelm more uniform cartouche syntax;
Sat, 18 Aug 2018 14:16:24 +0200 wenzelm clarified signature;
Wed, 15 Aug 2018 13:02:48 +0200 wenzelm canonical session directories in correspondence to Known.files;
Wed, 01 Aug 2018 20:58:41 +0200 wenzelm isabelle build options -c -x -B refer to imports_graph;
Wed, 01 Aug 2018 19:48:58 +0200 wenzelm more uniform checks;
Wed, 01 Aug 2018 19:38:06 +0200 wenzelm tuned signature;
Fri, 29 Jun 2018 16:53:37 +0200 wenzelm clarified error;
Wed, 27 Jun 2018 20:31:22 +0200 wenzelm clarified settings -- avoid hard-wired directories;
Fri, 22 Jun 2018 18:31:50 +0200 wenzelm include target sessions as well: avoid default "Draft" qualification;
Mon, 04 Jun 2018 14:21:16 +0200 wenzelm clarified signature;
Tue, 29 May 2018 15:04:02 +0200 wenzelm more accurate dependencies;
Mon, 28 May 2018 21:29:03 +0200 wenzelm more accurate theory_graph: avoid imports of loaded_theories with incomplete node name;
Mon, 28 May 2018 17:40:34 +0200 wenzelm clarified signature: Known.theories retains Document.Node.Entry (with header);
Mon, 28 May 2018 11:15:17 +0200 wenzelm tuned signature;
Sat, 26 May 2018 21:24:07 +0200 wenzelm tuned;
Sat, 26 May 2018 19:40:02 +0200 wenzelm support 'export_files' in session ROOT;
Sat, 19 May 2018 20:05:13 +0200 wenzelm support for build_database_server (PostgreSQL);
Sat, 19 May 2018 16:13:39 +0200 wenzelm clarified store.clean_output: cleanup user_output_dir even in system_mode;
Sat, 19 May 2018 15:45:45 +0200 wenzelm clarified store directories;
less more (0) -100 -60 tip