isabelle: Changelog

wenzelm [Wed, 11 Dec 2024 12:03:01 +0100] rev 81580

more robust: avoid spurious crash of text_area.getText() in Active_Area.update();

wenzelm [Wed, 11 Dec 2024 11:18:52 +0100] rev 81579

proper bundle binomial_syntax; NB: precedence of "choose" changes silently from 65 to 64 in 200107cdd3ac, but old 65 was still seen in the wild;

wenzelm [Wed, 11 Dec 2024 11:14:50 +0100] rev 81578

build component for cvc5-1.2.0;

wenzelm [Wed, 11 Dec 2024 10:40:57 +0100] rev 81577

tuned whitespace;

wenzelm [Wed, 11 Dec 2024 10:28:12 +0100] rev 81576

clarified default_sort;

wenzelm [Tue, 10 Dec 2024 22:59:13 +0100] rev 81575

fewer theories;

wenzelm [Tue, 10 Dec 2024 22:40:07 +0100] rev 81574

fewer theories;

wenzelm [Tue, 10 Dec 2024 21:43:04 +0100] rev 81573

fewer theories (in contrast to 05ca920cd94b);

wenzelm [Tue, 10 Dec 2024 21:06:04 +0100] rev 81572

more accurate markup for "CONST c";

wenzelm [Tue, 10 Dec 2024 19:47:47 +0100] rev 81571

tuned markup;

isabelle