isabelle: Changelog

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

wenzelm [Wed, 09 Feb 2022 23:05:50 +0100] rev 75068

provide cache for slow computations;

desharna [Wed, 09 Feb 2022 13:02:59 +0100] rev 75067

used max_facts and fact_filter from slice for both ATP and SMT in sledgehammer

wenzelm [Wed, 09 Feb 2022 12:06:01 +0100] rev 75066

more operations;

blanchet [Wed, 09 Feb 2022 10:47:34 +0100] rev 75065

more liberal parsing of Sledgehammer options to allow empty lists (as suggested by Larry Paulson)

isabelle