equal
deleted
inserted
replaced
94 |
94 |
95 * (Co)datatype package: |
95 * (Co)datatype package: |
96 - Lemma map_ident_strong is now generated for all BNFs. |
96 - Lemma map_ident_strong is now generated for all BNFs. |
97 |
97 |
98 * More ambitious minimization of case expressions in generated code. |
98 * More ambitious minimization of case expressions in generated code. |
|
99 |
|
100 * Code generation for Scala: type annotations in pattern bindings |
|
101 are printed in a way suitable for Scala 3. |
99 |
102 |
100 |
103 |
101 *** System *** |
104 *** System *** |
102 |
105 |
103 * Command-line tool "isabelle scala_project" supports Gradle as |
106 * Command-line tool "isabelle scala_project" supports Gradle as |