1.1 --- a/NEWS Tue May 03 22:26:16 2011 +0200
1.2 +++ b/NEWS Tue May 03 22:27:32 2011 +0200
1.3 @@ -37,12 +37,16 @@
1.4 Note that automated detection from the file-system or search path has
1.5 been discontinued. INCOMPATIBILITY.
1.6
1.7 -* Name space: proper configuration options "long_names",
1.8 -"short_names", "unique_names" instead of former unsynchronized
1.9 -references. Minor INCOMPATIBILITY, need to declare options in context
1.10 -like this:
1.11 -
1.12 - declare [[unique_names = false]]
1.13 +* Name space: former unsynchronized references are now proper
1.14 +configuration options, with more conventional names:
1.15 +
1.16 + long_names ~> names_long
1.17 + short_names ~> names_short
1.18 + unique_names ~> names_unique
1.19 +
1.20 +Minor INCOMPATIBILITY, need to declare options in context like this:
1.21 +
1.22 + declare [[names_unique = false]]
1.23
1.24 * Literal facts `prop` may contain dummy patterns, e.g. `_ = _`. Note
1.25 that the result needs to be unique, which means fact specifications