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 57532 c7dc1f0a2b8a
parent 57517 f4904e2b3040
child 57591 8c095aef6769 
--- a/NEWS	Wed Jul 09 11:35:52 2014 +0200
+++ b/NEWS	Wed Jul 09 11:35:52 2014 +0200
@@ -367,7 +367,7 @@
 * Sledgehammer:
   - Z3 can now produce Isar proofs.
   - MaSh overhaul:
-    . New SML-based learning engines eliminate the dependency on
+    . New SML-based learning algorithms eliminate the dependency on
       Python and increase performance and reliability.
     . MaSh and MeSh are now used by default together with the
       traditional MePo (Meng-Paulson) relevance filter. To disable
isabelle