NEWS
changeset 48317 e5420161d11d
parent 48294 2b0c5553dc46
child 48371 3a5a5a992519
     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").