NEWS
changeset 42669 04dfffda5671
parent 42658 8f5d5d71add0
child 42706 936cd1c493b4
     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