isabelle: Changelog

haftmann [Sun, 03 Apr 2022 09:07:37 +0000] rev 75401

adjusted printing of type annotations to accomodate Scala 3

paulson <lp15@cam.ac.uk> [Sun, 03 Apr 2022 14:48:55 +0100] rev 75400

two new examples

haftmann [Sat, 02 Apr 2022 17:03:35 +0000] rev 75399

pass constructor arity as part of case certficiate

haftmann [Sat, 02 Apr 2022 17:03:34 +0000] rev 75398

tuned whitespace in generated code

haftmann [Fri, 01 Apr 2022 16:41:16 +0000] rev 75397

tuned, centralizing case distinction at one place at the cost of modest duplication

wenzelm [Fri, 01 Apr 2022 23:51:07 +0200] rev 75396

clarified formatting, for the sake of scala3;

wenzelm [Fri, 01 Apr 2022 23:26:19 +0200] rev 75395

merged

wenzelm [Fri, 01 Apr 2022 23:19:12 +0200] rev 75394

tuned formatting;

wenzelm [Fri, 01 Apr 2022 17:06:10 +0200] rev 75393

clarified formatting, for the sake of scala3;

haftmann [Fri, 01 Apr 2022 10:54:40 +0000] rev 75392

tuned

isabelle