| Sat, 31 Dec 2022 12:35:00 +0100 |
wenzelm |
unused;
|
file |
diff |
annotate
|
| Sat, 31 Dec 2022 12:25:34 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sat, 31 Dec 2022 11:48:32 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Fri, 30 Dec 2022 20:38:29 +0100 |
wenzelm |
more robust: avoid detour via somewhat fragile Node.Name.path;
|
file |
diff |
annotate
|
| Tue, 27 Dec 2022 17:35:01 +0100 |
wenzelm |
support for generic File_Format.parse_data, with persistent result in document model;
|
file |
diff |
annotate
|
| Mon, 26 Dec 2022 15:11:42 +0100 |
wenzelm |
clarified signature: more explicit types;
|
file |
diff |
annotate
|
| Fri, 23 Dec 2022 22:41:47 +0100 |
wenzelm |
more robust Document.Pending_Edits: cover all nodes simulataneously, and thus support proper Snapshot.switch;
|
file |
diff |
annotate
|
| Fri, 23 Dec 2022 15:20:53 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 23 Dec 2022 15:07:48 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 20 Dec 2022 13:59:07 +0100 |
wenzelm |
clarified state of document model vs. document editor selection (again, see also a9d52d02bd83);
|
file |
diff |
annotate
|
| Mon, 19 Dec 2022 12:22:47 +0100 |
wenzelm |
clarified state: node_required is guarded by PIDE.editor.document_active (e.g. open panel);
|
file |
diff |
annotate
|
| Mon, 19 Dec 2022 11:42:45 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 17 Dec 2022 19:44:14 +0100 |
wenzelm |
clarified signature: avoid confusion due to redundant standard_path, which is already used here (but not elsewhere);
|
file |
diff |
annotate
|
| Sat, 17 Dec 2022 19:35:49 +0100 |
wenzelm |
clarified signature: avoid case class with redefined equality;
|
file |
diff |
annotate
|
| Mon, 07 Nov 2022 21:32:09 +0100 |
wenzelm |
clarified node_required status: distinguish theory_required vs. document_required;
|
file |
diff |
annotate
|
| Sat, 01 Oct 2022 20:10:56 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Thu, 22 Sep 2022 17:24:50 +0200 |
wenzelm |
clarified signature: persistent Node.source / Snapshot.source;
|
file |
diff |
annotate
|
| Fri, 19 Aug 2022 21:25:13 +0200 |
wenzelm |
more robust treatment of Document.Node.Name, following stored data;
|
file |
diff |
annotate
|
| Fri, 19 Aug 2022 20:19:05 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 12 Aug 2022 14:39:37 +0200 |
wenzelm |
unused (despite cf52379c0776);
|
file |
diff |
annotate
|
| Fri, 12 Aug 2022 14:33:50 +0200 |
wenzelm |
tuned, following hints by IntelliJ IDEA;
|
file |
diff |
annotate
|
| Fri, 12 Aug 2022 14:26:17 +0200 |
wenzelm |
unused (see 696819fe2424);
|
file |
diff |
annotate
|
| Fri, 05 Aug 2022 20:54:39 +0200 |
wenzelm |
clarified Document.Snapshot.all_exports: refer to material from this (virtual) session;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 23:19:12 +0200 |
wenzelm |
tuned formatting;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
| Thu, 04 Mar 2021 15:52:08 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 04 Mar 2021 15:41:46 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Mon, 01 Mar 2021 23:17:47 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Mon, 01 Mar 2021 22:22:12 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Sun, 10 Jan 2021 13:04:29 +0100 |
wenzelm |
more informative errors: simplify diagnosis of spurious failures reported by users;
|
file |
diff |
annotate
|
| Sat, 02 Jan 2021 22:22:34 +0100 |
wenzelm |
clarified signature: absorb XZ.Cache into XML.Cache;
|
file |
diff |
annotate
|
| Sun, 20 Dec 2020 15:47:54 +0100 |
wenzelm |
present auxiliary files with PIDE markup;
|
file |
diff |
annotate
|
| Sat, 19 Dec 2020 15:32:29 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Thu, 10 Dec 2020 16:35:56 +0100 |
wenzelm |
clarified signature: more specific types;
|
file |
diff |
annotate
|
| Wed, 09 Dec 2020 22:07:14 +0100 |
wenzelm |
clarified protocol: support "isabelle log" on failed theories as well;
|
file |
diff |
annotate
|
| Wed, 09 Dec 2020 20:33:02 +0100 |
wenzelm |
tuned comments;
|
file |
diff |
annotate
|
| Wed, 09 Dec 2020 20:19:27 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 07 Dec 2020 16:47:47 +0100 |
wenzelm |
clarified exports;
|
file |
diff |
annotate
|
| Sat, 05 Dec 2020 20:40:24 +0100 |
wenzelm |
avoid duplicate entries: snippet_command is defined within node;
|
file |
diff |
annotate
|
| Sat, 05 Dec 2020 13:45:09 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 05 Dec 2020 13:37:37 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 05 Dec 2020 13:29:19 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 05 Dec 2020 13:19:36 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 05 Dec 2020 13:12:18 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 05 Dec 2020 13:01:46 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 05 Dec 2020 12:43:21 +0100 |
wenzelm |
clarified signature, notably access to blob files;
|
file |
diff |
annotate
|
| Sat, 05 Dec 2020 12:14:40 +0100 |
wenzelm |
support for PIDE markup for auxiliary files ("blobs");
|
file |
diff |
annotate
|
| Sun, 29 Nov 2020 16:45:29 +0100 |
wenzelm |
restrict report redirection to current node;
|
file |
diff |
annotate
|
| Thu, 26 Nov 2020 16:08:39 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 26 Nov 2020 15:59:09 +0100 |
wenzelm |
clarified signature: initial markup is_empty, not init_markup;
|
file |
diff |
annotate
|
| Thu, 26 Nov 2020 15:49:27 +0100 |
wenzelm |
clarified signature: prefer high-level Snapshot over low-level Command.State;
|
file |
diff |
annotate
|
| Thu, 26 Nov 2020 15:16:37 +0100 |
wenzelm |
more strict;
|
file |
diff |
annotate
|
| Thu, 26 Nov 2020 14:48:22 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 23 Nov 2020 15:14:58 +0100 |
wenzelm |
support for PIDE markup in batch build (inactive due to pide_reports=false);
|
file |
diff |
annotate
|
| Fri, 20 Nov 2020 23:47:34 +0100 |
wenzelm |
generate theory HTML in Isabelle/Scala;
|
file |
diff |
annotate
|
| Thu, 23 Jul 2020 14:25:48 +0200 |
wenzelm |
clarified order --- proper sorting of requirements;
|
file |
diff |
annotate
|
| Fri, 27 Mar 2020 22:01:27 +0100 |
wenzelm |
misc tuning based on hints by IntelliJ IDEA;
|
file |
diff |
annotate
|
| Fri, 01 Nov 2019 18:41:52 +0100 |
wenzelm |
more operations;
|
file |
diff |
annotate
|
| Wed, 02 Oct 2019 14:45:37 +0200 |
wenzelm |
more robust: avoid update/interrupt of long-running print_consolidation;
|
file |
diff |
annotate
|
| Mon, 16 Sep 2019 21:30:30 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|