1 files changed, 4 insertions, 3 deletions
diff --git a/doc/faq/fk.bib b/doc/faq/fk.bib
index 976b36b0..d41ab7f0 100644
--- a/doc/faq/fk.bib
+++ b/doc/faq/fk.bib
@@ -1117,9 +1117,10 @@ cedures.},
 @Manual{Coq:manual,
   title =        {The Coq proof assistant reference manual},
   author =       {\mbox{The Coq development team}},
-  note =         {Version 8.3},
-  year =         {2010},
-  url =          "http://coq.inria.fr/doc"
+  organization = {LogiCal Project},
+  note =         {Version 8.0},
+  year =         {2004},
+  url =          "http://coq.inria.fr"
 }
 
 @string{jfp = "Journal of Functional Programming"}