NEWS

--- a/NEWS	Fri Mar 18 17:27:28 2011 +0100
+++ b/NEWS	Fri Mar 18 22:55:28 2011 +0100
@@ -50,6 +50,9 @@
   - sledgehammer available_provers ~> sledgehammer supported_provers
     INCOMPATIBILITY.
 
+* "try":
+  - Added "simp:", "intro:", and "elim:" options.
+
 * Function package: discontinued option "tailrec".
 INCOMPATIBILITY. Use partial_function instead.