diff options
-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 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 * |