diff -r d7cfcb9b5c7c -r 0214d179c2be ANNOUNCE
--- 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: