author | wenzelm |
Thu, 19 Apr 2012 15:02:13 +0200 | |
changeset 48481 | 6eb3b3ae4ccb |
parent 48480 | 43f1ec41ea3c |
child 48482 | 3b89d59a944b |
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