isabelle: Changelog

paulson <lp15@cam.ac.uk> [Tue, 15 Feb 2022 13:00:05 +0000] rev 75078

an assortment of new or stronger lemmas

wenzelm [Tue, 15 Feb 2022 16:16:53 +0100] rev 75077

obsolete (reverting b3d6bb2ebf77): Isabelle/Naproche cache is now value-oriented;

blanchet [Mon, 14 Feb 2022 16:41:48 +0100] rev 75076

print outcome of Sledgehammer search in panel

blanchet [Mon, 14 Feb 2022 16:34:56 +0100] rev 75075

print Sledgehammer error message

haftmann [Sat, 12 Feb 2022 07:52:34 +0100] rev 75074

updated documentation to current matter of affairs

wenzelm [Thu, 10 Feb 2022 19:38:12 +0100] rev 75073

unused;

wenzelm [Thu, 10 Feb 2022 19:31:07 +0100] rev 75072

clarified signature;

desharna [Thu, 10 Feb 2022 09:29:19 +0100] rev 75071

merged

desharna [Wed, 09 Feb 2022 16:39:55 +0100] rev 75070

added Isabelle identification to Mirabelle output

desharna [Wed, 09 Feb 2022 14:52:05 +0100] rev 75069

uniformized fact selection for ATP and SMT in Sledgehammer

isabelle