isabelle: Changelog

haftmann [Thu, 17 Feb 2022 19:42:16 +0000] rev 75087

Avoid overaggresive splitting.

haftmann [Thu, 17 Feb 2022 19:42:15 +0000] rev 75086

more lemmas for distribution

haftmann [Thu, 17 Feb 2022 19:42:15 +0000] rev 75085

Avoid overaggresive simplification.

wenzelm [Thu, 17 Feb 2022 19:40:30 +0100] rev 75084

merged

wenzelm [Thu, 17 Feb 2022 19:00:14 +0100] rev 75083

setup VSCode from VSCodium distribution;

wenzelm [Thu, 17 Feb 2022 12:22:47 +0100] rev 75082

more robust package_dir, to increase chances that it works with IntelliJ IDEA;

desharna [Wed, 16 Feb 2022 14:35:33 +0100] rev 75081

NEWS

desharna [Wed, 16 Feb 2022 14:24:05 +0100] rev 75080

Mirabelle now considers goals preceding "unfolding" and "using" commands

paulson [Tue, 15 Feb 2022 16:42:15 +0000] rev 75079

merged

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

an assortment of new or stronger lemmas

isabelle