# HG changeset patch
# User wenzelm
# Date 1239716500 -7200
# Node ID 0214d179c2beac350858169452365ebe82bc8818
# Parent  d7cfcb9b5c7c1f651af6976a4cb72859beb8f5c8
added Haskabelle -- in accordance to website/index.html version f397b96e3ad2;

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: