1.1 --- a/NEWS Wed Jul 18 08:44:04 2012 +0200
1.2 +++ b/NEWS Wed Jul 18 08:44:04 2012 +0200
1.3 @@ -372,7 +372,6 @@
1.4 - Made it try "smt" as a fallback if "metis" fails or times out.
1.5 - Added support for the following provers: Alt-Ergo (via Why3 and
1.6 TFF1), iProver, iProver-Eq.
1.7 - - Replaced remote E-SInE with remote Satallax in the default setup.
1.8 - Sped up the minimizer.
1.9 - Added "lam_trans", "uncurry_aliases", and "minimize" options.
1.10 - Renamed "slicing" ("no_slicing") option to "slice" ("dont_slice").