tuned header;
authorwenzelm
Thu May 28 12:24:05 1998 +0200 (1998-05-28)
changeset 49819703ba0e9122
parent 4980 a5b90f34a05c
child 4982 6f96354267e0
tuned header;
NEWS
     1.1 --- a/NEWS	Thu May 28 12:23:11 1998 +0200
     1.2 +++ b/NEWS	Thu May 28 12:24:05 1998 +0200
     1.3 @@ -2,8 +2,8 @@
     1.4  Isabelle NEWS -- history of user-visible changes
     1.5  ================================================
     1.6  
     1.7 -New in Isabelle??? (FIXME)
     1.8 ---------------------------
     1.9 +New in this Isabelle version
    1.10 +----------------------------
    1.11  
    1.12  *** General Changes ***
    1.13