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 36952 338c3f8229e4
parent 36949 080e85d46108
child 36953 2af1ad9aa1a3 
--- a/NEWS	Sat May 15 23:23:45 2010 +0200
+++ b/NEWS	Sat May 15 23:32:15 2010 +0200
@@ -507,6 +507,7 @@
 
   OuterKeyword  ~>  Keyword
   OuterParse    ~>  Parse
+  SpecParse     ~>  Parse_Spec
 
 
 *** System ***
isabelle