more NEWS;
authorwenzelm
Mon Jul 02 16:26:11 2018 +0200 (17 months ago)
changeset 68568cf01d04e94d7
parent 68567 b408728a002a
child 68570 aa48b37092df
child 68572 c8bf6077a87d
more NEWS;
NEWS
     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.