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 37146 f652333bbf8e
parent 37145 01aa36932739
child 37158 c96e119b7fe9 
--- a/NEWS	Thu May 27 17:41:27 2010 +0200
+++ b/NEWS	Thu May 27 18:10:37 2010 +0200
@@ -503,6 +503,7 @@
   OuterSyntax   ~>  Outer_Syntax
   SpecParse     ~>  Parse_Spec
   TypeInfer     ~>  Type_Infer
+  PrintMode     ~>  Print_Mode
 
 Note that "open Legacy" simplifies porting of sources, but forgetting
 to remove it again will complicate porting again in the future.
isabelle