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.
tuned;
authorwenzelm
Mon, 17 Jan 2011 22:57:17 +0100
changeset 41605 7d035da21e9c
parent 41604 313b0033034a
child 41606 3d6f146e4cd0
tuned;
ANNOUNCE file | annotate | diff | comparison | revisions 
--- a/ANNOUNCE	Mon Jan 17 22:54:08 2011 +0100
+++ b/ANNOUNCE	Mon Jan 17 22:57:17 2011 +0100
@@ -18,7 +18,7 @@
   Sledgehammer, SMT integration.
 
 * HOL: various additions to theory library, including HOL-Algebra,
-  Imperative_HOL Multivariate_Analysis, Probability.
+  Imperative_HOL, Multivariate_Analysis, Probability.
 
 * HOLCF: reorganization of library and related tools.
isabelle