Fri, 27 Mar 2020 13:02:56 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Fri, 27 Mar 2020 12:13:39 +0100 |
wenzelm |
clarified signature: more accurate session_base_info.sessions_structure;
|
file |
diff |
annotate
|
Fri, 20 Mar 2020 20:23:40 +0100 |
wenzelm |
avoid premature crash due to missing session parents/imports;
|
file |
diff |
annotate
|
Wed, 18 Mar 2020 18:06:36 +0100 |
wenzelm |
more robust re-use of $ISABELLE_TMP_PREFIX (amending c1597167563e);
|
file |
diff |
annotate
|
Fri, 25 Oct 2019 19:00:36 +0200 |
wenzelm |
clarified session_graph_display: restrict sessions to actually required theories;
|
file |
diff |
annotate
|
Mon, 14 Oct 2019 21:57:36 +0200 |
wenzelm |
incorporate sessions with record_proofs;
|
file |
diff |
annotate
|
Mon, 14 Oct 2019 21:00:04 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Mon, 14 Oct 2019 17:19:08 +0200 |
wenzelm |
split into standard partitions, for improved scalability;
|
file |
diff |
annotate
|
Mon, 07 Oct 2019 11:35:43 +0200 |
wenzelm |
discontinued pointless dump_checkpoint and share_common_data -- superseded by base logic image in Isabelle/MMT;
|
file |
diff |
annotate
|
Sun, 06 Oct 2019 14:17:58 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Thu, 19 Sep 2019 20:27:30 +0200 |
wenzelm |
clarified data structures;
|
file |
diff |
annotate
|
Thu, 19 Sep 2019 16:42:27 +0200 |
wenzelm |
unused;
|
file |
diff |
annotate
|
Mon, 16 Sep 2019 23:25:09 +0200 |
wenzelm |
more errors;
|
file |
diff |
annotate
|
Mon, 16 Sep 2019 20:06:25 +0200 |
wenzelm |
clarified signature -- removed pointless operations;
|
file |
diff |
annotate
|
Mon, 16 Sep 2019 19:48:09 +0200 |
wenzelm |
clarified signature -- removed unused content;
|
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 17:17:52 +0200 |
wenzelm |
session directories need to exist;
|
file |
diff |
annotate
|
Thu, 12 Sep 2019 16:21:44 +0200 |
wenzelm |
eliminated pointless theory graph (reverting parts of a56eab490f4e): it caused problems with loaded vs. non-loaded node names, e.g. for theory Pure (see also 29bb1ebb188f);
|
file |
diff |
annotate
|
Thu, 12 Sep 2019 14:22:47 +0200 |
wenzelm |
discontinued obsolete "isabelle imports" and all_known data;
|
file |
diff |
annotate
|
Thu, 12 Sep 2019 13:39:04 +0200 |
wenzelm |
avoid duplicate directories wrt. synthetic session;
|
file |
diff |
annotate
|
Thu, 12 Sep 2019 13:35:53 +0200 |
wenzelm |
disallow accidental duplicates within the same session specification -- proper total match;
|
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
|
Wed, 11 Sep 2019 16:06:10 +0200 |
wenzelm |
disallow overlapping session directories;
|
file |
diff |
annotate
|
Sun, 08 Sep 2019 20:04:32 +0200 |
wenzelm |
clarified messages;
|
file |
diff |
annotate
|
Sun, 08 Sep 2019 17:49:35 +0200 |
wenzelm |
clarified syntax: 'directories' and 'theories' belong together;
|
file |
diff |
annotate
|
Sun, 08 Sep 2019 16:49:32 +0200 |
wenzelm |
check session directories;
|
file |
diff |
annotate
|
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);
|
file |
diff |
annotate
|
Sat, 07 Sep 2019 19:52:36 +0200 |
wenzelm |
theory_name based on session_directories: no need for expensive all_known;
|
file |
diff |
annotate
|
Sat, 07 Sep 2019 16:17:30 +0200 |
wenzelm |
clarified session_directories: relative to session_path, with overlapping information;
|
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
|
Sat, 07 Sep 2019 12:11:42 +0200 |
wenzelm |
support for explicit session directories;
|
file |
diff |
annotate
|
Wed, 04 Sep 2019 11:21:07 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Tue, 03 Sep 2019 15:24:04 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Tue, 03 Sep 2019 14:56:43 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Mon, 02 Sep 2019 16:28:09 +0200 |
wenzelm |
proper orientation;
|
file |
diff |
annotate
|
Mon, 02 Sep 2019 11:46:27 +0200 |
wenzelm |
clarified signature: prefer operations without position;
|
file |
diff |
annotate
|
Mon, 02 Sep 2019 10:41:14 +0200 |
wenzelm |
prefer Theory_Ordering theory names are unique (due to proper session context);
|
file |
diff |
annotate
|
Sun, 01 Sep 2019 22:57:25 +0200 |
wenzelm |
clarified signature: full dependency graph;
|
file |
diff |
annotate
|
Thu, 29 Aug 2019 17:13:49 +0200 |
wenzelm |
more scalable isabelle dump (and derivatives): mark individual theories to share common data in ML;
|
file |
diff |
annotate
|
Wed, 13 Mar 2019 13:46:16 +0100 |
wenzelm |
more sanity checks;
|
file |
diff |
annotate
|
Sun, 03 Mar 2019 19:12:28 +0100 |
wenzelm |
clarified signature;
|
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:10:09 +0100 |
wenzelm |
clarified meta_digest: export_files is a directive for physical output from existing build database;
|
file |
diff |
annotate
|
Wed, 30 Jan 2019 16:44:29 +0100 |
wenzelm |
support for session information via virtual file-system;
|
file |
diff |
annotate
|
Wed, 16 Jan 2019 17:55:26 +0100 |
wenzelm |
support pruning of export names;
|
file |
diff |
annotate
|
Mon, 31 Dec 2018 20:13:36 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Fri, 28 Dec 2018 16:58:27 +0100 |
wenzelm |
clarified sessions_deps, according to Isabelle/MMT usage;
|
file |
diff |
annotate
|
Mon, 03 Dec 2018 14:59:42 +0100 |
wenzelm |
static type for Library.using: avoid Java 11 warnings on "Illegal reflective access";
|
file |
diff |
annotate
|
Wed, 28 Nov 2018 16:14:31 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Wed, 07 Nov 2018 21:42:16 +0100 |
wenzelm |
more general support for Isabelle/PIDE file formats -- less hardwired Bibtex operations;
|
file |
diff |
annotate
|
Mon, 01 Oct 2018 19:30:36 +0200 |
wenzelm |
tuned output -- avoid bombing of Scala toplevel, e.g. for AFP deps;
|
file |
diff |
annotate
|
Sat, 29 Sep 2018 17:08:07 +0200 |
wenzelm |
tuned message according to ML version;
|
file |
diff |
annotate
|
Wed, 26 Sep 2018 22:38:16 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Fri, 21 Sep 2018 16:47:03 +0200 |
wenzelm |
suppress some theories to allow "isabelle dump -o skip_proofs";
|
file |
diff |
annotate
|
Fri, 21 Sep 2018 14:31:07 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Tue, 18 Sep 2018 23:07:34 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Mon, 17 Sep 2018 22:10:58 +0200 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
Mon, 17 Sep 2018 22:06:11 +0200 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
Mon, 17 Sep 2018 21:50:14 +0200 |
wenzelm |
more detailed session dependencies, with conditions for theories;
|
file |
diff |
annotate
|
Wed, 29 Aug 2018 12:44:17 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|