From b21cd4620e0983a23dd11c0f582bf367662aeee3 Mon Sep 17 00:00:00 2001 From: Pierre-Marie Pédrot Date: Fri, 14 Jul 2017 13:55:45 +0200 Subject: Fix a typo in dev/changes. --- dev/doc/changes.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'dev/doc') diff --git a/dev/doc/changes.txt b/dev/doc/changes.txt index 62c3bc40c..c3c86ac5c 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 * -- cgit v1.2.3