diff options
| author |  Arnaud Spiwack <arnaud@spiwack.net> | 2015-01-12 16:17:44 +0100 |
|---|---|---|
| committer | Arnaud Spiwack <arnaud@spiwack.net> | 2015-01-12 16:17:44 +0100 |
| commit | 28a81ee376f0b93aff1c776a91da7751024f069a (patch) | |
| tree | 3f5fd9a2afbc33524ebccd97b02bcd7bf56bf534 /doc/whodidwhat | |
| parent | 13a55aa2e8fd999a96cf1e4df5a0e34f26e3dcc8 (diff) | |
whodidwhat-8.5: typo.
Diffstat (limited to 'doc/whodidwhat')
| -rw-r--r-- | doc/whodidwhat/whodidwhat-8.5update.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/whodidwhat/whodidwhat-8.5update.tex b/doc/whodidwhat/whodidwhat-8.5update.tex index 5b7da70ac..c187cdb43 100644 --- a/doc/whodidwhat/whodidwhat-8.5update.tex +++ b/doc/whodidwhat/whodidwhat-8.5update.tex @@ -12,7 +12,7 @@ \maketitle -\centerline{(updated for Coq 8.4)} +\centerline{(updated for Coq 8.5)} \section{The Calculus of Inductive Constructions} |