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 37145 01aa36932739
parent 37144 fd6308b4df72
child 37146 f652333bbf8e 
--- a/NEWS	Thu May 27 15:28:23 2010 +0200
+++ b/NEWS	Thu May 27 17:41:27 2010 +0200
@@ -502,6 +502,7 @@
   OuterParse    ~>  Parse
   OuterSyntax   ~>  Outer_Syntax
   SpecParse     ~>  Parse_Spec
+  TypeInfer     ~>  Type_Infer
 
 Note that "open Legacy" simplifies porting of sources, but forgetting
 to remove it again will complicate porting again in the future.
isabelle