# HG changeset patch
# User wenzelm
# Date 1334840533 -7200
# Node ID 6eb3b3ae4ccbb3c6fef6390d46ad3e992866aba4
# Parent  43f1ec41ea3cecba0fdc06dcccff1537efa7b65e
more robust Sledgehammer in Prover IDE;

diff -r 43f1ec41ea3c -r 6eb3b3ae4ccb NEWS
--- a/NEWS	Thu Apr 19 14:59:17 2012 +0200
+++ b/NEWS	Thu Apr 19 15:02:13 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