isabelle: Changelog

desharna [Wed, 04 Aug 2021 21:48:50 +0200] rev 74118

merged

desharna [Wed, 04 Aug 2021 08:23:12 +0200] rev 74117

added dummy_fof prover to Sledgehammer

desharna [Tue, 03 Aug 2021 10:33:35 +0200] rev 74116

fixed malconfigured option output_dir in mirabelle

wenzelm [Wed, 04 Aug 2021 21:00:37 +0200] rev 74115

merged

wenzelm [Wed, 04 Aug 2021 19:41:59 +0200] rev 74114

clarified export of formal entities: name space info is always present, but content depends on option "export_theory";

wenzelm [Tue, 03 Aug 2021 13:40:17 +0200] rev 74113

proper name space "kind": this is a formal name, not comment;

wenzelm [Tue, 03 Aug 2021 13:08:23 +0200] rev 74112

more uniform signatures in ML and Scala;

desharna [Wed, 04 Aug 2021 08:27:16 +0200] rev 74111

merged

desharna [Tue, 03 Aug 2021 10:14:48 +0200] rev 74110

fixed typo

desharna [Tue, 03 Aug 2021 09:22:38 +0200] rev 74109

added dummy_thf prover to Sledgehammer

isabelle