diff -r ad5313f1bd30 -r f5417836dbea NEWS --- a/NEWS Mon May 17 15:05:32 2010 +0200 +++ b/NEWS Mon May 17 15:11:25 2010 +0200 @@ -505,9 +505,10 @@ * Renamed some important ML structures, while keeping the old names as legacy aliases for some time: + OuterKeyword ~> Keyword + OuterLex ~> Token + OuterParse ~> Parse OuterSyntax ~> Outer_Syntax - OuterKeyword ~> Keyword - OuterParse ~> Parse SpecParse ~> Parse_Spec