From 28a81ee376f0b93aff1c776a91da7751024f069a Mon Sep 17 00:00:00 2001
From: Arnaud Spiwack <arnaud@spiwack.net>
Date: Mon, 12 Jan 2015 16:17:44 +0100
Subject: whodidwhat-8.5: typo.

---
 doc/whodidwhat/whodidwhat-8.5update.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc/whodidwhat')

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}
 
-- 
cgit v1.2.3