| changeset 63303 | 7cffe366d333 |
| parent 63290 | 9ac558ab0906 |
| child 63307 | 3b7ec9a8da59 |
--- a/NEWS Tue Jun 14 15:54:28 2016 +0100 +++ b/NEWS Tue Jun 14 20:48:41 2016 +0200 @@ -132,6 +132,9 @@ *** HOL *** +* Code generation for scala: ambiguous implicts in class diagrams +are spelt out explicitly. + * Abstract locales semigroup, abel_semigroup, semilattice, semilattice_neutr, ordering, ordering_top, semilattice_order, semilattice_neutr_order, comm_monoid_set, semilattice_set,