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 74466 d4c2a9191cd1
parent 74451 78d1f73bbeaa
child 74474 253c98aa935a 
--- a/NEWS	Wed Oct 06 20:26:08 2021 +0200
+++ b/NEWS	Wed Oct 06 21:18:00 2021 +0200
@@ -192,7 +192,7 @@
 * Sledgehammer:
   - Update of bundled provers:
       E 2.6
-      Vampire 4.5.1 (with Open Source license)
+      Vampire 4.6 (with Open Source license)
       veriT 2021.06-rmx
       Zipperposition 2.1
   - Adjusted default provers:
isabelle