ANNOUNCE

--- a/ANNOUNCE	Fri Apr 17 16:54:25 2015 +0200
+++ b/ANNOUNCE	Fri Apr 17 17:49:19 2015 +0200
@@ -24,6 +24,8 @@
 * New proof method "rewrite" for single-step rewriting with subterm
 selection based on patterns.
 
+* New Eisbach proof method language and "match" method.
+
 * Updated manuals: datatypes, implementation, isar-ref, jedit, sledgehammer,
 system.