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.
updated for release;
authorwenzelm
Wed, 10 Apr 2019 16:15:45 +0200
changeset 70107 491453ea09bb
parent 70106 55220f2d09d2
child 70108 77f978dd8ffb
updated for release;
ANNOUNCE file | annotate | diff | comparison | revisions 
--- a/ANNOUNCE	Wed Apr 10 15:45:16 2019 +0200
+++ b/ANNOUNCE	Wed Apr 10 16:15:45 2019 +0200
@@ -18,7 +18,8 @@
 
 * HOL: various syntax and library improvements.
 
-* HOL-Analysis: more material and better organization.
+* HOL libraries: better organization and much more material in HOL-Algebra,
+HOL-Analysis, HOL-Homology.
 
 * Isabelle/ML environments for separate SML applications.
isabelle