NEWS
changeset 14572 1408d312d3a9
parent 14561 c53396af770e
child 14602 e06ded775eca
     1.1 --- a/NEWS	Thu Apr 15 20:31:30 2004 +0200
     1.2 +++ b/NEWS	Thu Apr 15 20:32:33 2004 +0200
     1.3 @@ -171,6 +171,8 @@
     1.4  
     1.5  * Streams now come with concatenation and are part of the HOLCF image
     1.6  
     1.7 +
     1.8 +
     1.9  New in Isabelle2003 (May 2003)
    1.10  --------------------------------
    1.11  
    1.12 @@ -391,6 +393,7 @@
    1.13  textcomp package)
    1.14  
    1.15  
    1.16 +
    1.17  New in Isabelle2002 (March 2002)
    1.18  --------------------------------
    1.19