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 42180 a6c141925a8a
parent 42160 43cba90b080f
child 42224 578a51fae383
child 42228 3bf2eea43dac 
--- a/NEWS	Thu Mar 31 11:16:51 2011 +0200
+++ b/NEWS	Thu Mar 31 11:16:52 2011 +0200
@@ -49,6 +49,7 @@
 * Sledgehammer:
   - sledgehammer available_provers ~> sledgehammer supported_provers
     INCOMPATIBILITY.
+  - Added "monomorphize" and "monomorphize_limit" options.
 
 * "try":
   - Added "simp:", "intro:", and "elim:" options.
isabelle