wenzelm [Thu, 12 Dec 2024 16:57:06 +0100] rev 81584
clarified class/locale reasoning: avoid side-stepping constraints;
wenzelm [Thu, 12 Dec 2024 15:45:29 +0100] rev 81583
clarified default_sort: "cpo" for bootstrap, "domain" for main HOLCF;
wenzelm [Thu, 12 Dec 2024 12:35:59 +0100] rev 81582
clarified specification context;
wenzelm [Wed, 11 Dec 2024 12:04:27 +0100] rev 81581
activate e-3.1 as proposed by Martin Desharnais;
enforce rebuild of Isabelle/ML;
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;