NEWS

--- a/NEWS	Fri Aug 27 14:24:26 2010 +0200
+++ b/NEWS	Fri Aug 27 14:25:07 2010 +0200
@@ -40,6 +40,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;