diff options
Diffstat (limited to 'doc/whodidwhat/whodidwhat-8.5update.tex')
-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} |