ANNOUNCE
changeset 60119 54bea620e54f
parent 60116 5d90d301ad66
child 60125 2944cc4f4f56
     1.1 --- a/ANNOUNCE	Fri Apr 17 16:54:25 2015 +0200
     1.2 +++ b/ANNOUNCE	Fri Apr 17 17:49:19 2015 +0200
     1.3 @@ -24,6 +24,8 @@
     1.4  * New proof method "rewrite" for single-step rewriting with subterm
     1.5  selection based on patterns.
     1.6  
     1.7 +* New Eisbach proof method language and "match" method.
     1.8 +
     1.9  * Updated manuals: datatypes, implementation, isar-ref, jedit, sledgehammer,
    1.10  system.
    1.11