diff options
| author | Pierre-Marie Pédrot | 2017-07-14 13:55:45 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-07-14 13:55:45 +0200 |
| commit | b21cd4620e0983a23dd11c0f582bf367662aeee3 (patch) | |
| tree | b404116bf4cdc5d62944608274cb704a5aeaa34f /dev | |
| parent | e23f495c25749478c0a64c479d888e3671157c7d (diff) | |
Fix a typo in dev/changes.
Diffstat (limited to 'dev')
| -rw-r--r-- | dev/doc/changes.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev/doc/changes.txt b/dev/doc/changes.txt index 62c3bc40c1..c3c86ac5c5 100644 --- a/dev/doc/changes.txt +++ b/dev/doc/changes.txt @@ -1,5 +1,5 @@ ========================================= -= CHANGES BETWEEN COQ V8.6 AND COQ V8.8 = += CHANGES BETWEEN COQ V8.7 AND COQ V8.8 = ========================================= * ML API * |