fixed typo
authorhaftmann
Tue Oct 30 15:13:48 2007 +0100 (2007-10-30)
changeset 252426c3890cbceac
parent 25241 001ab1d3f567
child 25243 78f8aaa27493
fixed typo
ANNOUNCE
     1.1 --- a/ANNOUNCE	Tue Oct 30 14:39:37 2007 +0100
     1.2 +++ b/ANNOUNCE	Tue Oct 30 15:13:48 2007 +0100
     1.3 @@ -37,7 +37,7 @@
     1.4  * Various improvements of Isar language elements and related proof
     1.5  tools.
     1.6  
     1.7 -* Second generation code-generator for a subset of HOL, targeting SML,
     1.8 +* Second generation code generator for a subset of HOL, targeting SML,
     1.9  Haskell, and OCaml.
    1.10  
    1.11  * Command 'normal_form' and method 'normalization'