NEWS
changeset 68568 cf01d04e94d7
parent 68559 7aae213d9e69
child 68634 c55f6f0b3854
child 68639 357fca99a65a
     1.1 --- a/NEWS	Mon Jul 02 16:25:41 2018 +0200
     1.2 +++ b/NEWS	Mon Jul 02 16:26:11 2018 +0200
     1.3 @@ -231,6 +231,9 @@
     1.4  
     1.5  *** HOL ***
     1.6  
     1.7 +* Sledgehammer: bundled version of "vampire" (for non-commercial users)
     1.8 +helps to avoid fragility of "remote_vampire" service.
     1.9 +
    1.10  * Clarified relationship of characters, strings and code generation:
    1.11  
    1.12    - Type "char" is now a proper datatype of 8-bit values.