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 55525 70b7e91fa1f9
parent 55524 f41ef840f09d
child 55533 6260caf1d612 
--- a/NEWS	Sun Feb 16 21:33:28 2014 +0100
+++ b/NEWS	Sun Feb 16 21:33:28 2014 +0100
@@ -135,6 +135,7 @@
   Renamed constants:
     Option.set ~> set_option
     Option.map ~> map_option
+    option_rel ~> rel_option
   Renamed theorems:
     map_def ~> map_rec[abs_def]
     Option.map_def ~> map_option_case[abs_def] (with "case_option" instead of "rec_option")
isabelle