changeset 37311 | 90323e435a7f |
parent 37305 | 9763792e4ac7 |
child 37316 | 52dc576f1759 |
--- a/NEWS Thu Jun 03 23:56:05 2010 +0200 +++ b/NEWS Fri Jun 04 11:30:46 2010 +0200 @@ -92,7 +92,7 @@ *** Pure *** -* Predicates of locales introduces by classes carry a mandatory +* Predicates of locales introduced by classes carry a mandatory "class" prefix. INCOMPATIBILITY. * Command 'code_reflect' allows to incorporate generated ML code into