diff options
Diffstat (limited to 'Changelog')
| -rw-r--r-- | Changelog | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -13,8 +13,9 @@ Bug fixing: - Issue #P25: make sure sizeof(long double) = sizeof(double) in all contexts. Coq and Caml development: -- Pull request #191: Support Coq version 8.7.0 in addition to Coq 8.6.1. - Coq 8.6 (.0) is no longer supported owing to an incompatibility with 8.7.0. +- Pull request #191: Support Coq version 8.7.0 and 8.7.1 in addition + to Coq 8.6.1. Coq 8.6 (.0) is no longer supported owing to an + incompatibility with 8.7.0. (Sigurd Schneider) |