NEWS
changeset 38857 97775f3e8722
parent 38815 d0196406ee32
child 38858 1920158cfa17
     1.1 --- a/NEWS	Fri Aug 27 15:36:02 2010 +0200
     1.2 +++ b/NEWS	Fri Aug 27 19:34:23 2010 +0200
     1.3 @@ -56,6 +56,10 @@
     1.4  
     1.5  *** HOL ***
     1.6  
     1.7 +* Renamed class eq and constant eq (for code generation) to class equal
     1.8 +and constant equal, plus renaming of related facts and various tuning.
     1.9 +INCOMPATIBILITY.
    1.10 +
    1.11  * Scala (2.8 or higher) has been added to the target languages of
    1.12  the code generator.
    1.13