changeset 36959 | f5417836dbea |
parent 36953 | 2af1ad9aa1a3 |
child 36961 | 7b14afc02fc4 |
--- 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