| changeset 3561 | 329441e7eeee |
| parent 3535 | 19bd6c8274c4 |
| child 3567 | e2539e1980b4 |
--- 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) ------------------------------