diff -r 7db9a44dfa06 -r 329441e7eeee NEWS
--- a/NEWS	Wed Jul 23 11:11:14 1997 +0200
+++ b/NEWS	Wed Jul 23 11:48:59 1997 +0200
@@ -13,6 +13,9 @@
 
 * improved output of warnings / errors;
 
+* deleted the obsolete tactical STATE, which was declared by
+	fun STATE tacfun st = tacfun st st;
+
 
 New in Isabelle94-8 (May 1997)
 ------------------------------