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 75806 2b106aae897c
parent 75803 40e16228405e
child 75873 5f7d22354a65
child 75916 b6589c8ccadd 
--- a/NEWS	Thu Aug 11 13:23:00 2022 +0200
+++ b/NEWS	Fri Aug 12 15:35:07 2022 +0200
@@ -145,6 +145,7 @@
     INCOMPATIBILITY.
   - Added support for TX0 and TX1 TPTP formats and $ite/$let expressions
     in TH0 and TH1.
+  - Added support for cvc5.
   - Replaced option "sledgehammer_atp_dest_dir" by
     "sledgehammer_atp_problem_dest_dir", for problem files, and
     "sledgehammer_atp_proof_dest_dir", for proof files. Minor INCOMPATIBILITY.
isabelle