isabelle: Changelog

wenzelm [Fri, 08 Jul 2022 22:30:35 +0200] rev 75661

tuned comments;

wenzelm [Fri, 08 Jul 2022 22:29:26 +0200] rev 75660

support for Isabelle/Scala/Java modules in Isabelle/ML;

wenzelm [Fri, 08 Jul 2022 20:24:05 +0200] rev 75659

more robust Scala 3 indentation, for the sake of IntelliJ IDEA;

wenzelm [Fri, 08 Jul 2022 20:06:53 +0200] rev 75658

clarified signature: read_theory_exports is already ordered;

wenzelm [Thu, 07 Jul 2022 16:40:33 +0200] rev 75657

clarified signature;

wenzelm [Thu, 07 Jul 2022 16:37:56 +0200] rev 75656

tuned;

haftmann [Wed, 06 Jul 2022 09:33:53 +0000] rev 75655

sketch for word-specific lsb and msb

wenzelm [Tue, 05 Jul 2022 13:12:04 +0200] rev 75654

switch to Scala 3;

wenzelm [Wed, 06 Jul 2022 13:08:33 +0200] rev 75653

minor performance tuning: avoid redundant BigInt construction;

desharna [Tue, 05 Jul 2022 17:54:52 +0200] rev 75652

added lemmas total_on_trancl and totalp_on_tranclp

isabelle