Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
document incompatibility
authorblanchet
Fri, 22 Sep 2017 14:14:41 -0300
changeset 66662 4b10fa05423b
parent 66661 fdab65297bd6
child 66688 ebb97a834338
document incompatibility
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Fri Sep 22 13:46:11 2017 -0300
+++ b/NEWS	Fri Sep 22 14:14:41 2017 -0300
@@ -11,7 +11,7 @@
 
 * SMT module:
   - The 'smt_oracle' option is now necessary when using the 'smt' method
-    with a solver other than Z3.
+    with a solver other than Z3. INCOMPATIBILITY.
 
 
 New in Isabelle2017 (October 2017)
isabelle