Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
merged
authorwenzelm
Tue, 14 Apr 2009 17:47:31 +0200
changeset 30892 b2dee0d2b618
parent 30890 0214d179c2be (diff)
parent 30891 28c7f7ba9f13 (current diff)
child 30893 b310beb36645
merged
--- a/ANNOUNCE	Tue Apr 14 17:47:24 2009 +0200
+++ b/ANNOUNCE	Tue Apr 14 17:47:31 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:
isabelle