isabelle: Changelog

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

isabelle