NEWS
changeset 47617 f5eaa7fa8d72
parent 47616 632a1e5710e6
parent 47585 6eb3b3ae4ccb
child 47622 6d53f2ef4a97
     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