NEWS
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