wenzelm [Mon, 26 Dec 2022 19:07:42 +0100] rev 76783
tuned signature;
wenzelm [Mon, 26 Dec 2022 19:00:00 +0100] rev 76782
more robust;
wenzelm [Mon, 26 Dec 2022 18:41:27 +0100] rev 76781
clarified signature: more position information via node_name;
wenzelm [Mon, 26 Dec 2022 17:36:56 +0100] rev 76780
tuned signature: avoid name confusion;
wenzelm [Mon, 26 Dec 2022 16:57:07 +0100] rev 76779
more bibtex errors;
clarified Bibtex.Chunk.is_malformed (again): see also 9c1389befa56 and 7ee248f19ca9;
wenzelm [Mon, 26 Dec 2022 16:44:13 +0100] rev 76778
clarified signature: internalize errors (but: the parser rarely fails);
wenzelm [Mon, 26 Dec 2022 15:24:57 +0100] rev 76777
tuned signature;
wenzelm [Mon, 26 Dec 2022 15:11:42 +0100] rev 76776
clarified signature: more explicit types;
wenzelm [Mon, 26 Dec 2022 12:33:55 +0100] rev 76775
clarified buffer_state: not synchronized, but exclusively owned by GUI thread;
desharna [Mon, 26 Dec 2022 14:04:06 +0100] rev 76774
merged
desharna [Mon, 26 Dec 2022 13:54:07 +0100] rev 76773
removed old lemma names
paulson [Sat, 24 Dec 2022 15:35:43 +0000] rev 76772
merged
paulson [Fri, 23 Dec 2022 11:12:19 +0000] rev 76771
merged
paulson <lp15@cam.ac.uk> [Thu, 22 Dec 2022 18:32:42 +0000] rev 76770
A few new Sup/Inf lemmas
wenzelm [Sat, 24 Dec 2022 13:54:24 +0100] rev 76769
clarified messages;
wenzelm [Sat, 24 Dec 2022 13:19:39 +0100] rev 76768
tuned signature: follow terminology of VSCode_Resources;
wenzelm [Fri, 23 Dec 2022 22:51:47 +0100] rev 76767
tuned signature;
wenzelm [Fri, 23 Dec 2022 22:48:29 +0100] rev 76766
tuned signature;
wenzelm [Fri, 23 Dec 2022 22:41:47 +0100] rev 76765
more robust Document.Pending_Edits: cover all nodes simulataneously, and thus support proper Snapshot.switch;
prefer global operations for snapshot() and rendering();
wenzelm [Fri, 23 Dec 2022 22:33:14 +0100] rev 76764
update URL;
wenzelm [Fri, 23 Dec 2022 15:42:52 +0100] rev 76763
clarified signature;
wenzelm [Fri, 23 Dec 2022 15:34:09 +0100] rev 76762
tuned;
wenzelm [Fri, 23 Dec 2022 15:29:29 +0100] rev 76761
tuned;
wenzelm [Fri, 23 Dec 2022 15:20:53 +0100] rev 76760
tuned;
wenzelm [Fri, 23 Dec 2022 15:07:48 +0100] rev 76759
tuned;
wenzelm [Fri, 23 Dec 2022 14:43:04 +0100] rev 76758
tuned;
wenzelm [Fri, 23 Dec 2022 14:32:53 +0100] rev 76757
clarified signature: more explicit types;
desharna [Fri, 23 Dec 2022 12:14:10 +0100] rev 76756
merged