--- 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 ***