isabelle: Changelog

wenzelm [Fri, 30 Jul 2021 22:39:08 +0200] rev 74086

clarified signature;

wenzelm [Fri, 30 Jul 2021 16:21:31 +0200] rev 74085

merged

wenzelm [Wed, 28 Jul 2021 17:30:18 +0200] rev 74084

prefer Isabelle.Bytes, based on ShortByteString;

wenzelm [Wed, 28 Jul 2021 15:39:19 +0200] rev 74083

tuned;

wenzelm [Wed, 28 Jul 2021 15:30:40 +0200] rev 74082

tuned signature;

wenzelm [Wed, 28 Jul 2021 15:19:09 +0200] rev 74081

tuned signature: more generic operations;

wenzelm [Wed, 28 Jul 2021 12:41:27 +0200] rev 74080

prefer UTF8 implementation from Data.Text.Encoding (foreign C); clarified signatures and modules;

desharna [Thu, 29 Jul 2021 17:08:46 +0200] rev 74079

documented Mirabelle_Sledgehammer's new keep semantics

desharna [Wed, 28 Jul 2021 19:17:31 +0200] rev 74078

changed Mirabelle_Sledgehammer keep option from path to boolean

desharna [Wed, 28 Jul 2021 14:16:19 +0200] rev 74077

added automatic uniform stride option to Mirabelle

isabelle