--- a/NEWS Thu Dec 01 13:34:12 2011 +0100
+++ b/NEWS Thu Dec 01 13:34:13 2011 +0100
@@ -148,6 +148,7 @@
* Sledgehammer:
- Added "lam_trans" option.
+ - Renamed "slicing" ("no_slicing") option to "slice" ("dont_slice").
* Metis:
- Added possibility to specify lambda translations scheme as a