| Tue, 27 Dec 2022 17:35:01 +0100 |
wenzelm |
support for generic File_Format.parse_data, with persistent result in document model;
|
changeset |
files
|
| Tue, 27 Dec 2022 16:36:00 +0100 |
wenzelm |
omit warning: somewhat pointless and out-of-context;
|
changeset |
files
|
| Tue, 27 Dec 2022 12:15:47 +0100 |
wenzelm |
clarified signature: avoid case class with mutable state;
|
changeset |
files
|
| Tue, 27 Dec 2022 12:00:37 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Tue, 27 Dec 2022 11:44:37 +0100 |
wenzelm |
clarified signature: more explicit types;
|
changeset |
files
|
| Tue, 27 Dec 2022 10:38:34 +0000 |
paulson |
merged
|
changeset |
files
|
| Tue, 27 Dec 2022 10:37:15 +0000 |
paulson |
tidied some messy old proofs
|
changeset |
files
|
| Mon, 26 Dec 2022 21:28:20 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Mon, 26 Dec 2022 19:13:37 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Mon, 26 Dec 2022 19:07:42 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Mon, 26 Dec 2022 19:00:00 +0100 |
wenzelm |
more robust;
|
changeset |
files
|
| Mon, 26 Dec 2022 18:41:27 +0100 |
wenzelm |
clarified signature: more position information via node_name;
|
changeset |
files
|
| Mon, 26 Dec 2022 17:36:56 +0100 |
wenzelm |
tuned signature: avoid name confusion;
|
changeset |
files
|
| Mon, 26 Dec 2022 16:57:07 +0100 |
wenzelm |
more bibtex errors;
|
changeset |
files
|
| Mon, 26 Dec 2022 16:44:13 +0100 |
wenzelm |
clarified signature: internalize errors (but: the parser rarely fails);
|
changeset |
files
|
| Mon, 26 Dec 2022 15:24:57 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Mon, 26 Dec 2022 15:11:42 +0100 |
wenzelm |
clarified signature: more explicit types;
|
changeset |
files
|
| Mon, 26 Dec 2022 12:33:55 +0100 |
wenzelm |
clarified buffer_state: not synchronized, but exclusively owned by GUI thread;
|
changeset |
files
|
| Mon, 26 Dec 2022 14:04:06 +0100 |
desharna |
merged
|
changeset |
files
|
| Mon, 26 Dec 2022 13:54:07 +0100 |
desharna |
removed old lemma names
|
changeset |
files
|
| Sat, 24 Dec 2022 15:35:43 +0000 |
paulson |
merged
|
changeset |
files
|
| Fri, 23 Dec 2022 11:12:19 +0000 |
paulson |
merged
|
changeset |
files
|
| Thu, 22 Dec 2022 18:32:42 +0000 |
paulson |
A few new Sup/Inf lemmas
|
changeset |
files
|
| Sat, 24 Dec 2022 13:54:24 +0100 |
wenzelm |
clarified messages;
|
changeset |
files
|
| Sat, 24 Dec 2022 13:19:39 +0100 |
wenzelm |
tuned signature: follow terminology of VSCode_Resources;
|
changeset |
files
|
| Fri, 23 Dec 2022 22:51:47 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Fri, 23 Dec 2022 22:48:29 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Fri, 23 Dec 2022 22:41:47 +0100 |
wenzelm |
more robust Document.Pending_Edits: cover all nodes simulataneously, and thus support proper Snapshot.switch;
|
changeset |
files
|
| Fri, 23 Dec 2022 22:33:14 +0100 |
wenzelm |
update URL;
|
changeset |
files
|
| Fri, 23 Dec 2022 15:42:52 +0100 |
wenzelm |
clarified signature;
|
changeset |
files
|