isabelle: Changelog

nipkow [Tue, 08 Nov 2022 08:41:48 +0100] rev 76486

merged

nipkow [Tue, 08 Nov 2022 08:41:29 +0100] rev 76485

retain derived lemma for better findability

nipkow [Mon, 07 Nov 2022 22:16:37 +0100] rev 76484

generalized sorted_sort_id to sort_key_id_if_sorted

wenzelm [Mon, 07 Nov 2022 21:53:36 +0100] rev 76483

suppress document_required GUI element for now: still unused;

wenzelm [Mon, 07 Nov 2022 21:51:14 +0100] rev 76482

clarified layout;

wenzelm [Mon, 07 Nov 2022 21:32:09 +0100] rev 76481

clarified node_required status: distinguish theory_required vs. document_required; more robust and more correct Geometry.in operation;

wenzelm [Sun, 06 Nov 2022 23:10:28 +0100] rev 76480

proper user tool;

wenzelm [Sun, 06 Nov 2022 22:20:51 +0100] rev 76479

tuned comments;

wenzelm [Sun, 06 Nov 2022 22:17:28 +0100] rev 76478

support for EPTCS style with demo document;

wenzelm [Sun, 06 Nov 2022 21:45:06 +0100] rev 76477

tuned message;

isabelle