| changeset 38858 | 1920158cfa17 |
| parent 38830 | 51efa72555bb |
| parent 38857 | 97775f3e8722 |
| child 38864 | 4abe644fcea5 |
--- a/NEWS Fri Aug 27 22:30:25 2010 +0200 +++ b/NEWS Sat Aug 28 11:42:33 2010 +0200 @@ -62,6 +62,10 @@ *** HOL *** +* Renamed class eq and constant eq (for code generation) to class equal +and constant equal, plus renaming of related facts and various tuning. +INCOMPATIBILITY. + * Scala (2.8 or higher) has been added to the target languages of the code generator.