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
Fri, 04 Jul 2014 14:58:52 +0200
changeset 57505 63e2163c4736
parent 57504 5cf245c62c4c
child 57506 f5dbec155914
tuned;
ANNOUNCE file | annotate | diff | comparison | revisions 
--- a/ANNOUNCE	Fri Jul 04 14:52:05 2014 +0200
+++ b/ANNOUNCE	Fri Jul 04 14:58:52 2014 +0200
@@ -25,8 +25,8 @@
 * HOL: updated SMT module, with support for SMT-LIB 2 and recent
   versions of Z3, as well as CVC3, CVC4.
 
-* HOL: numerous library enhancements: Main, HOL-Multivariate_Analysis,
-  HOL-Probability.
+* HOL: numerous library enhancements: main HOL, HOL-Word,
+  HOL-Multivariate_Analysis, HOL-Probability.
 
 * System integration: improved support of LateX on Windows platform.
isabelle