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