author | wenzelm |
Tue, 14 Apr 2009 15:41:40 +0200 | |
changeset 30890 | 0214d179c2be |
parent 30889 | d7cfcb9b5c7c |
child 30892 | b2dee0d2b618 |
1.1 --- a/ANNOUNCE Tue Apr 14 14:37:44 2009 +0200 1.2 +++ b/ANNOUNCE Tue Apr 14 15:41:40 2009 +0200 1.3 @@ -32,6 +32,8 @@ 1.4 1.5 * Parallel proof checking within Isar theories. 1.6 1.7 +* Haskabelle importer from Haskell source files to Isar theories. 1.8 + 1.9 1.10 You may get Isabelle2009 from the following mirror sites: 1.11