NEWS
changeset 55049 327eafb594ba
parent 55029 61a6bf7d4b02
child 55098 01869d711567
child 55108 0b7a0c1fdf7e
     1.1 --- a/NEWS	Sun Jan 19 11:05:38 2014 +0100
     1.2 +++ b/NEWS	Sun Jan 19 22:38:17 2014 +0100
     1.3 @@ -196,6 +196,8 @@
     1.4  shows up as additional case in fixpoint induction proofs.
     1.5  INCOMPATIBILITY
     1.6  
     1.7 +* Removed solvers remote_cvc3 and remote_z3. Use cvc3 and z3 instead.
     1.8 +
     1.9  * Nitpick:
    1.10    - Fixed soundness bug whereby mutually recursive datatypes could take
    1.11      infinite values.