--- a/NEWS Fri Oct 07 22:59:15 2005 +0200
+++ b/NEWS Fri Oct 07 22:59:17 2005 +0200
@@ -14,10 +14,12 @@
* Input syntax now supports dummy variable binding "%_. b", where the
body does not mention the bound variable. Note that dummy patterns
implicitly depend on their context of bounds, which makes "{_. _}"
-match any set comprehension as expected.
-
-* Removed obsolete syntactic constant _K and its associated parse
-translation. INCOMPATIBILITY, use dummy abstraction instead, for
+match any set comprehension as expected. Potential INCOMPATIBILITY --
+parse translations need to cope with syntactic constant "_idtdummy" in
+the binding position.
+
+* Removed obsolete syntactic constant "_K" and its associated parse
+translation. INCOMPATIBILITY -- use dummy abstraction instead, for
example "A -> B" => "Pi A (%_. B)".