diff options
| author | Enrico | 2019-05-22 15:21:11 +0200 |
|---|---|---|
| committer | GitHub | 2019-05-22 15:21:11 +0200 |
| commit | 415be3b908daadabf178a292c885db78e5b2c9a4 (patch) | |
| tree | b3c1524f1fcf9f0246966cad8ab89fb94e4ceacd | |
| parent | 497535d575a7f6a20f648441d2f0b5c27fb993a8 (diff) | |
typo
| -rw-r--r-- | CHANGELOG.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/CHANGELOG.md b/CHANGELOG.md index 7f50956..30fcd0f 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -9,7 +9,7 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/). MathComp 1.9.0 is compatible with Coq 8.7, 8.8, 8.9 and 8.10beta1. Minor releases will remain compatible with Coq 8.9 and 8.10; compatibility with earlier -versions may be droppped. +versions may be dropped. ### Added |