ANNOUNCE

--- a/ANNOUNCE	Tue Oct 30 14:39:37 2007 +0100
+++ b/ANNOUNCE	Tue Oct 30 15:13:48 2007 +0100
@@ -37,7 +37,7 @@
 * Various improvements of Isar language elements and related proof
 tools.
 
-* Second generation code-generator for a subset of HOL, targeting SML,
+* Second generation code generator for a subset of HOL, targeting SML,
 Haskell, and OCaml.
 
 * Command 'normal_form' and method 'normalization'