--- a/NEWS Mon May 17 23:54:15 2010 +0200
+++ b/NEWS Tue May 18 00:01:03 2010 +0200
@@ -502,8 +502,8 @@
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
@@ -511,6 +511,9 @@
OuterSyntax ~> Outer_Syntax
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 ***