--- a/NEWS Wed Aug 06 13:57:25 2008 +0200
+++ b/NEWS Wed Aug 06 16:41:40 2008 +0200
@@ -19,7 +19,11 @@
*** Pure ***
-* dropped "locale (open)". INCOMPATBILITY.
+* Dropped "locale (open)". INCOMPATBILITY.
+
+* Command 'interpretation' no longer attempts to simplify goal.
+INCOMPATIBILITY: in rare situations the generated goal differs. Use
+methods intro_locales and unfold_locales to clarify.
* Command 'instance': attached definitions no longer accepted.
INCOMPATIBILITY, use proper 'instantiation' target.