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 46409 d4754183ccce
parent 46373 d4afc4226688
child 46458 19ef91d7fbd4 
--- a/NEWS	Sat Feb 04 07:40:02 2012 +0100
+++ b/NEWS	Sat Feb 04 12:08:18 2012 +0100
@@ -305,7 +305,7 @@
     affecting 'rat' and 'real'.
 
 * Sledgehammer:
-  - Added "lam_trans" and "minimize" options.
+  - Added "lam_trans", "uncurry_aliases", and "minimize" options.
   - Renamed "slicing" ("no_slicing") option to "slice" ("dont_slice").
   - Renamed "sound" option to "strict".
isabelle