| changeset 12984 | 6071200efbf6 |
| parent 12964 | 2ac9265b2cd5 |
| child 13023 | f869b6822006 |
--- a/NEWS Thu Feb 28 21:30:03 2002 +0100 +++ b/NEWS Thu Feb 28 21:30:26 2002 +0100 @@ -2,8 +2,8 @@ Isabelle NEWS -- history user-relevant changes ============================================== -New in Isabelle2002 (January 2002) ----------------------------------- +New in Isabelle2002 (March 2002) +-------------------------------- *** Document preparation ***