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.
NEWS
changeset 57246 62746a41cc0c
parent 57245 f6bf6d5341ee
child 57251 f51985ebd152 
--- a/NEWS	Thu Jun 12 17:10:12 2014 +0200
+++ b/NEWS	Thu Jun 12 17:50:49 2014 +0200
@@ -387,7 +387,7 @@
     SMT-LIB 2 and quantifiers.
 
 * Sledgehammer:
-  - "z3" can now produce Isar proofs
+  - Z3 can now produce Isar proofs.
   - MaSh overhaul:
       - New SML-based learning engines eliminate the dependency on Python
         and increase performance and reliability.
isabelle