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