# HG changeset patch
# User haftmann
# Date 1193753628 -3600
# Node ID 6c3890cbceac5bf9c6e3d7804da02f5b437d143c
# Parent  001ab1d3f5679b76af686fc8a4f3b2eb7302b929
fixed typo

diff -r 001ab1d3f567 -r 6c3890cbceac 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'