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