| changeset 36446 | 06081e4921d6 |
| parent 36429 | 9d6b3be996d4 |
| child 36454 | f2b5bcc61a8c |
| child 36460 | c643b23e8592 |
--- a/NEWS Tue Apr 27 22:23:12 2010 +0200 +++ b/NEWS Wed Apr 28 08:25:02 2010 +0200 @@ -84,6 +84,8 @@ *** Pure *** +* Old 'axclass' has been discontinued. Use 'class' instead. INCOMPATIBILITY. + * Code generator: simple concept for abstract datatypes obeying invariants. * Local theory specifications may depend on extra type variables that