diff options
| author | Jason Gross | 2016-03-03 20:34:35 -0500 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2016-03-04 10:52:21 +0100 |
| commit | 78b5670a0a1cf7ba31acabe710b311bf13df8745 (patch) | |
| tree | 15dbf5c820380e82d126bdd82007845fa12a97ad | |
| parent | 7461aaedef508570fba6334e18fd10d5b32bda0e (diff) | |
Fix a typo in dev/doc/changes.txt
CQQ -> COQ
| -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 2f62be9aff..f7621a4076 100644 --- a/dev/doc/changes.txt +++ b/dev/doc/changes.txt @@ -1,5 +1,5 @@ ========================================= -= CHANGES BETWEEN COQ V8.4 AND CQQ V8.5 = += CHANGES BETWEEN COQ V8.4 AND COQ V8.5 = ========================================= ** Refactoring : more mli interfaces and simpler grammar.cma ** |