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