diff -r 522ed38eb70a -r aa4bc5a4be1d NEWS --- a/NEWS Mon May 17 12:00:10 2010 -0700 +++ b/NEWS Tue May 18 00:01:51 2010 +0200 @@ -506,14 +506,18 @@ context actually works, but under normal circumstances one needs to pass the proper local context through the code! -* Renamed some important ML structures, while keeping the old names as -legacy aliases for some time: - +* Renamed some important ML structures, while keeping the old names +for some time as aliases within the structure Legacy: + + OuterKeyword ~> Keyword + OuterLex ~> Token + OuterParse ~> Parse OuterSyntax ~> Outer_Syntax - OuterKeyword ~> Keyword - OuterParse ~> Parse SpecParse ~> Parse_Spec +Note that "open Legacy" simplifies porting of sources, but forgetting +to remove it again will complicate porting again in the future. + *** System ***