1.1 --- a/NEWS	Tue Apr 27 22:23:12 2010 +0200
     1.2 +++ b/NEWS	Wed Apr 28 08:25:02 2010 +0200
     1.3 @@ -84,6 +84,8 @@
     1.4  
     1.5  *** Pure ***
     1.6  
     1.7 +* Old 'axclass' has been discontinued.  Use 'class' instead.  INCOMPATIBILITY.
     1.8 +
     1.9  * Code generator: simple concept for abstract datatypes obeying invariants.
    1.10  
    1.11  * Local theory specifications may depend on extra type variables that