changeset 75401 | 010a77180dff |
parent 75386 | 9d67ca1a57e3 |
child 75625 | 0dd3ac5fdbaa |
--- a/CONTRIBUTORS Sun Apr 03 14:48:55 2022 +0100 +++ b/CONTRIBUTORS Sun Apr 03 09:07:37 2022 +0000 @@ -10,7 +10,9 @@ Various improvements to Isabelle/VSCode. * March 2021: Florian Haftmann, TU München - More ambitious minimization of case expressions in generated code. + More ambitious minimization of case expressions in generated code; + code generation: type annotations in pattern bindings are printed in a + way suitable for Scala 3. Contributions to Isabelle2021-1