1.1 --- a/NEWS	Mon Mar 12 21:34:43 2012 +0100
     1.2 +++ b/NEWS	Mon Mar 12 21:34:45 2012 +0100
     1.3 @@ -355,6 +355,9 @@
     1.4  * Command 'try0':
     1.5    - Renamed from 'try_methods'. INCOMPATIBILITY.
     1.6  
     1.7 +* New "eventually_elim" method as a generalized variant of the
     1.8 +  eventually_elim* rules. Supports structured proofs.
     1.9 +
    1.10  
    1.11  *** FOL ***
    1.12