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 47585 6eb3b3ae4ccb
parent 47567 407cabf66f21
child 47617 f5eaa7fa8d72 
--- 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
isabelle