--- a/ANNOUNCE Tue Apr 14 14:37:44 2009 +0200
+++ b/ANNOUNCE Tue Apr 14 15:41:40 2009 +0200
@@ -32,6 +32,8 @@
* Parallel proof checking within Isar theories.
+* Haskabelle importer from Haskell source files to Isar theories.
+
You may get Isabelle2009 from the following mirror sites: