| changeset 14572 | 1408d312d3a9 |
| parent 14561 | c53396af770e |
| child 14602 | e06ded775eca |
--- a/NEWS Thu Apr 15 20:31:30 2004 +0200 +++ b/NEWS Thu Apr 15 20:32:33 2004 +0200 @@ -171,6 +171,8 @@ * Streams now come with concatenation and are part of the HOLCF image + + New in Isabelle2003 (May 2003) -------------------------------- @@ -391,6 +393,7 @@ textcomp package) + New in Isabelle2002 (March 2002) --------------------------------