changeset 25242 | 6c3890cbceac |
parent 25229 | 2673709fb8f7 |
child 25259 | 8d6b03eef9c9 |
--- 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'