diff -r d2cdad45fd14 -r 080e85d46108 NEWS --- a/NEWS Sat May 15 22:15:57 2010 +0200 +++ b/NEWS Sat May 15 22:24:25 2010 +0200 @@ -502,6 +502,12 @@ 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: + + OuterKeyword ~> Keyword + OuterParse ~> Parse + *** System ***