Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated NEWS
authorblanchet
Wed, 06 Jun 2012 10:35:05 +0200
changeset 48094 c3d4f4d9e54c
parent 48093 ebc75afed39a
child 48095 bb836e77f590
updated NEWS
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Wed Jun 06 10:35:05 2012 +0200
+++ b/NEWS	Wed Jun 06 10:35:05 2012 +0200
@@ -31,6 +31,10 @@
 failures, enable the configuration option "z3_with_extensions".
 Minor INCOMPATIBILITY.
 
+* Sledgehammer:
+
+  - Rationalized type encodings ("type_enc" option).
+
 New in Isabelle2012 (May 2012)
 ------------------------------
isabelle