NEWS

--- a/NEWS	Thu Apr 19 22:21:15 2012 +0200
+++ b/NEWS	Thu Apr 19 23:18:47 2012 +0200
@@ -8,6 +8,8 @@
 
 * Prover IDE (PIDE) improvements:
 
+  - more robust Sledgehammer integration (as before the sledgehammer
+    command line needs to be typed into the source buffer)
   - markup for bound variables
   - markup for types of term variables (e.g. displayed as tooltips)
   - support for user-defined Isar commands within the running session