diff -r b98f22593f97 -r 04dfffda5671 NEWS
--- a/NEWS	Tue May 03 22:26:16 2011 +0200
+++ b/NEWS	Tue May 03 22:27:32 2011 +0200
@@ -37,12 +37,16 @@
 Note that automated detection from the file-system or search path has
 been discontinued.  INCOMPATIBILITY.
 
-* Name space: proper configuration options "long_names",
-"short_names", "unique_names" instead of former unsynchronized
-references.  Minor INCOMPATIBILITY, need to declare options in context
-like this:
-
-  declare [[unique_names = false]]
+* Name space: former unsynchronized references are now proper
+configuration options, with more conventional names:
+
+  long_names   ~> names_long
+  short_names  ~> names_short
+  unique_names ~> names_unique
+
+Minor INCOMPATIBILITY, need to declare options in context like this:
+
+  declare [[names_unique = false]]
 
 * Literal facts `prop` may contain dummy patterns, e.g. `_ = _`.  Note
 that the result needs to be unique, which means fact specifications