NEWS
changeset 66662 4b10fa05423b
parent 66661 fdab65297bd6
child 66688 ebb97a834338
     1.1 --- a/NEWS	Fri Sep 22 13:46:11 2017 -0300
     1.2 +++ b/NEWS	Fri Sep 22 14:14:41 2017 -0300
     1.3 @@ -11,7 +11,7 @@
     1.4  
     1.5  * SMT module:
     1.6    - The 'smt_oracle' option is now necessary when using the 'smt' method
     1.7 -    with a solver other than Z3.
     1.8 +    with a solver other than Z3. INCOMPATIBILITY.
     1.9  
    1.10  
    1.11  New in Isabelle2017 (October 2017)