equal
deleted
inserted
replaced
93 - Added support for polymorphic "using" facts. Minor INCOMPATIBILITY. |
93 - Added support for polymorphic "using" facts. Minor INCOMPATIBILITY. |
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 minimazation of case expressions in generated code. |
98 * More ambitious minimization of case expressions in generated code. |
99 |
99 |
100 |
100 |
101 *** System *** |
101 *** System *** |
102 |
102 |
103 * Command-line tool "isabelle scala_project" supports Gradle as |
103 * Command-line tool "isabelle scala_project" supports Gradle as |