# HG changeset patch
# User blanchet
# Date 1338971705 -7200
# Node ID c3d4f4d9e54c4851314d2674ba7d80e29519559a
# Parent  ebc75afed39a91d3ae0a70c6647f810517ca0475
updated NEWS

diff -r ebc75afed39a -r c3d4f4d9e54c NEWS
--- 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)
 ------------------------------