changeset 48317 | e5420161d11d |
parent 48294 | 2b0c5553dc46 |
child 48371 | 3a5a5a992519 |
--- a/NEWS Wed Jul 18 08:44:04 2012 +0200 +++ b/NEWS Wed Jul 18 08:44:04 2012 +0200 @@ -372,7 +372,6 @@ - Made it try "smt" as a fallback if "metis" fails or times out. - Added support for the following provers: Alt-Ergo (via Why3 and TFF1), iProver, iProver-Eq. - - Replaced remote E-SInE with remote Satallax in the default setup. - Sped up the minimizer. - Added "lam_trans", "uncurry_aliases", and "minimize" options. - Renamed "slicing" ("no_slicing") option to "slice" ("dont_slice").