author | wenzelm |
Thu, 15 Apr 2004 20:32:33 +0200 | |
changeset 14572 | 1408d312d3a9 |
parent 14571 | b88d5f9e02e1 |
child 14573 | 3ad3df2744db |
--- 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) --------------------------------