NEWS
changeset 46506 c7faa011bfa7
parent 46497 89ccf66aa73d
child 46512 4f9f61f9b535
     1.1 --- a/NEWS	Thu Feb 16 17:09:15 2012 +0100
     1.2 +++ b/NEWS	Thu Feb 16 22:18:28 2012 +0100
     1.3 @@ -36,6 +36,10 @@
     1.4  "num_position" etc. are mainly used instead (which also include
     1.5  position information via constraints).
     1.6  
     1.7 +* Simplified configuration options for syntax ambiguity: see
     1.8 +"syntax_ambiguity" and "syntax_ambiguity_limit" in isar-ref manual.
     1.9 +Minor INCOMPATIBILITY.
    1.10 +
    1.11  
    1.12  *** Pure ***
    1.13