more robust Sledgehammer in Prover IDE;
authorwenzelm
Thu Apr 19 15:02:13 2012 +0200 (2012-04-19)
changeset 475856eb3b3ae4ccb
parent 47584 43f1ec41ea3c
child 47586 3b89d59a944b
more robust Sledgehammer in Prover IDE;
NEWS
     1.1 --- a/NEWS	Thu Apr 19 14:59:17 2012 +0200
     1.2 +++ b/NEWS	Thu Apr 19 15:02:13 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