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 83192 fba18bf9e670
parent 83191 76878779e355
child 83237 4c5b2c1ed55d 
--- a/NEWS	Fri Sep 19 13:11:51 2025 +0200
+++ b/NEWS	Fri Sep 19 14:01:41 2025 +0200
@@ -197,7 +197,8 @@
 INCOMPATIBILITY.
 
 * SMT:
-  - Added Vampire as an SMT solver (experimental).
+  - Added Vampire as an experimental SMT solver (vampire_smt_dt has native
+    support for datatypes and vampire_smt_nodt does not).
 
 * Theory "HOL.Fun":
   - Added lemmas.
isabelle