changeset 10103 | 4e446f8cef3e |
parent 10080 | 8fb8c17d1cb5 |
child 10129 | a62b275ac0f7 |
--- a/NEWS Thu Sep 28 14:36:02 2000 +0200 +++ b/NEWS Thu Sep 28 14:36:20 2000 +0200 @@ -2,8 +2,8 @@ Isabelle NEWS -- history user-relevant changes ============================================== -New in Isabelle99-1 (September 2000) ------------------------------------- +New in Isabelle99-1 (October 2000) +---------------------------------- *** Overview of INCOMPATIBILITIES ***