NEWS

--- a/NEWS	Sun Jan 19 11:05:38 2014 +0100
+++ b/NEWS	Sun Jan 19 22:38:17 2014 +0100
@@ -196,6 +196,8 @@
 shows up as additional case in fixpoint induction proofs.
 INCOMPATIBILITY
 
+* Removed solvers remote_cvc3 and remote_z3. Use cvc3 and z3 instead.
+
 * Nitpick:
   - Fixed soundness bug whereby mutually recursive datatypes could take
     infinite values.