| changeset 8007 | c29e27ee4933 |
| parent 7986 | 9d319a76dbeb |
| child 8014 | fdf1281a3d0c |
--- a/NEWS Thu Nov 11 10:25:29 1999 +0100 +++ b/NEWS Thu Nov 11 11:27:31 1999 +0100 @@ -2,6 +2,10 @@ Isabelle NEWS -- history user-relevant changes ============================================== +New in this Isabelle version +---------------------------- + + New in Isabelle99 (October 1999) --------------------------------