# HG changeset patch
# User noschinl
# Date 1331584485 -3600
# Node ID 9a95da60ca54fbc0d93b7bd113ffce8af7dfc821
# Parent  cb891d9a23c1611bd68fec9e72898766a9288c84
NEWS

diff -r cb891d9a23c1 -r 9a95da60ca54 NEWS
--- a/NEWS	Mon Mar 12 21:34:43 2012 +0100
+++ b/NEWS	Mon Mar 12 21:34:45 2012 +0100
@@ -355,6 +355,9 @@
 * Command 'try0':
   - Renamed from 'try_methods'. INCOMPATIBILITY.
 
+* New "eventually_elim" method as a generalized variant of the
+  eventually_elim* rules. Supports structured proofs.
+
 
 *** FOL ***