changeset 38815 | d0196406ee32 |
parent 38797 | abe92b33ac9f |
parent 38814 | 4d575fbfc920 |
child 38830 | 51efa72555bb |
child 38857 | 97775f3e8722 |
--- a/NEWS Fri Aug 27 12:57:55 2010 +0200 +++ b/NEWS Fri Aug 27 14:25:29 2010 +0200 @@ -56,6 +56,9 @@ *** HOL *** +* Scala (2.8 or higher) has been added to the target languages of +the code generator. + * Dropped type classes mult_mono and mult_mono1. INCOMPATIBILITY. * Theory SetsAndFunctions has been split into Function_Algebras and Set_Algebras;