| Sat, 14 Nov 2020 16:53:18 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 14 Nov 2020 16:49:48 +0100 |
wenzelm |
proper theory name;
|
file |
diff |
annotate
|
| Sat, 14 Nov 2020 12:55:05 +0100 |
wenzelm |
official support for document theories from other sessions;
|
file |
diff |
annotate
|
| Wed, 11 Nov 2020 21:00:14 +0100 |
wenzelm |
build documents in Isabelle/Scala, based on generated tex files as session exports;
|
file |
diff |
annotate
|
| Tue, 10 Nov 2020 12:48:56 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 08 Nov 2020 21:27:08 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 05 Oct 2020 21:15:58 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 28 Sep 2020 22:22:56 +0200 |
wenzelm |
some support for document preparation in Isabelle/Scala;
|
file |
diff |
annotate
|
| Fri, 24 Jul 2020 15:02:16 +0200 |
wenzelm |
clarified errors: avoid hiding of import_errors/dir_errors by their consequences (file-access problems);
|
file |
diff |
annotate
|
| Fri, 24 Jul 2020 12:15:37 +0200 |
wenzelm |
clarified errors: avoid accidental import from other session that happens to be within overall selection (notably "isabelle build -a");
|
file |
diff |
annotate
|
| Thu, 23 Jul 2020 22:32:06 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 23 Jul 2020 14:25:48 +0200 |
wenzelm |
clarified order --- proper sorting of requirements;
|
file |
diff |
annotate
|
| Thu, 23 Jul 2020 11:48:58 +0200 |
wenzelm |
obsolete (see 9cde8c4ea5a5);
|
file |
diff |
annotate
|
| Tue, 21 Jul 2020 19:40:38 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 20 Jun 2020 16:18:33 +0200 |
wenzelm |
share cache for parallel sessions;
|
file |
diff |
annotate
|
| Tue, 28 Apr 2020 21:47:22 +0200 |
wenzelm |
added "isabelle sessions" tool;
|
file |
diff |
annotate
|
| Tue, 07 Apr 2020 21:49:36 +0200 |
wenzelm |
clarified signature: more uniform treatment of stopped/interrupted state;
|
file |
diff |
annotate
|
| Wed, 01 Apr 2020 12:58:44 +0200 |
wenzelm |
clarified signature: more robust bootstrap base;
|
file |
diff |
annotate
|
| Fri, 27 Mar 2020 22:06:35 +0100 |
wenzelm |
tuned;
|
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 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
|