Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
ANNOUNCE
changeset 41605 7d035da21e9c
parent 41604 313b0033034a
child 44801 a0459c50cfc9 
--- 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