# HG changeset patch
# User wenzelm
# Date 1164560856 -3600
# Node ID 45b3a85ee54892421563a39ce3bd44ddba18b220
# Parent  f119c730f5093b7c4d0c858d88606a6a0a5761e6
* Pure: syntax constant for foo (binder) is called foo_binder;

diff -r f119c730f509 -r 45b3a85ee548 NEWS
--- a/NEWS	Sun Nov 26 18:07:35 2006 +0100
+++ b/NEWS	Sun Nov 26 18:07:36 2006 +0100
@@ -239,6 +239,10 @@
 syntax translations that should refer to internal constant
 representations independently of name spaces.
 
+* Pure: syntax constant for foo (binder "FOO ") is called "foo_binder"
+instead of "FOO ". This allows multiple binder declarations to coexist
+in the same context.  INCOMPATIBILITY.
+
 * Isar/locales: 'notation' provides a robust interface to the 'syntax'
 primitive that also works in a locale context (both for constants and
 fixed variables).  Type declaration and internal syntactic