1.1 --- a/NEWS	Mon May 17 15:05:32 2010 +0200
     1.2 +++ b/NEWS	Mon May 17 15:11:25 2010 +0200
     1.3 @@ -505,9 +505,10 @@
     1.4  * Renamed some important ML structures, while keeping the old names as
     1.5  legacy aliases for some time:
     1.6  
     1.7 +  OuterKeyword  ~>  Keyword
     1.8 +  OuterLex      ~>  Token
     1.9 +  OuterParse    ~>  Parse
    1.10    OuterSyntax   ~>  Outer_Syntax
    1.11 -  OuterKeyword  ~>  Keyword
    1.12 -  OuterParse    ~>  Parse
    1.13    SpecParse     ~>  Parse_Spec
    1.14  
    1.15