NEWS

--- a/NEWS	Fri May 26 18:28:15 2000 +0200
+++ b/NEWS	Sun May 28 21:55:50 2000 +0200
@@ -86,6 +86,9 @@
 useful for building new logics, but beware of confusion with the
 Provers/classical ones;
 
+* Pure: the local context of (non-atomic) goals is provided via case
+name 'antecedent';
+
 * Provers: splitter support (via 'split' attribute and 'simp' method
 modifier); 'simp' method: 'only:' modifier removes loopers as well
 (including splits);