author | ballarin |
Fri, 27 May 2005 17:10:23 +0200 | |
changeset 16104 | dab13c4685ba |
parent 16103 | 323838df22fd |
child 16105 | a44801c499cb |
1.1 --- a/NEWS Fri May 27 16:33:33 2005 +0200 1.2 +++ b/NEWS Fri May 27 17:10:23 2005 +0200 1.3 @@ -78,7 +78,7 @@ 1.4 1.5 * Pure: print_tac now outputs the goal through the trace channel. 1.6 1.7 -* Pure: reference Namespace.unique_names included. If true the 1.8 +* Pure: reference NameSpace.unique_names included. If true the 1.9 (shortest) namespace-prefix is printed to disambiguate conflicts (as 1.10 yet). If false the first entry wins (as during parsing). Default 1.11 value is true.