NEWS
changeset 46512 4f9f61f9b535
parent 46506 c7faa011bfa7
child 46528 1bbee2041321
     1.1 --- a/NEWS	Fri Feb 17 11:24:39 2012 +0100
     1.2 +++ b/NEWS	Fri Feb 17 15:42:26 2012 +0100
     1.3 @@ -37,8 +37,8 @@
     1.4  position information via constraints).
     1.5  
     1.6  * Simplified configuration options for syntax ambiguity: see
     1.7 -"syntax_ambiguity" and "syntax_ambiguity_limit" in isar-ref manual.
     1.8 -Minor INCOMPATIBILITY.
     1.9 +"syntax_ambiguity_warning" and "syntax_ambiguity_limit" in isar-ref
    1.10 +manual.  Minor INCOMPATIBILITY.
    1.11  
    1.12  
    1.13  *** Pure ***