Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
NEWS
changeset 36953 2af1ad9aa1a3
parent 36952 338c3f8229e4
child 36959 f5417836dbea
child 36963 9a017146675f 
--- a/NEWS	Sat May 15 23:32:15 2010 +0200
+++ b/NEWS	Sat May 15 23:40:00 2010 +0200
@@ -505,6 +505,7 @@
 * Renamed some important ML structures, while keeping the old names as
 legacy aliases for some time:
 
+  OuterSyntax   ~>  Outer_Syntax
   OuterKeyword  ~>  Keyword
   OuterParse    ~>  Parse
   SpecParse     ~>  Parse_Spec
isabelle