1.1 --- a/NEWS	Thu Dec 01 13:34:13 2011 +0100
     1.2 +++ b/NEWS	Thu Dec 01 13:34:14 2011 +0100
     1.3 @@ -147,7 +147,7 @@
     1.4      affecting 'rat' and 'real'.
     1.5  
     1.6  * Sledgehammer:
     1.7 -  - Added "lam_trans" option.
     1.8 +  - Added "lam_trans" and "minimize" options.
     1.9    - Renamed "slicing" ("no_slicing") option to "slice" ("dont_slice").
    1.10  
    1.11  * Metis: