Ajout RefMan 7.2

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8578 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 9 insertions, 0 deletions

diff --git a/doc/biblio.bib b/doc/biblio.bib
index a912643112..1c0a6eab3a 100755
--- a/doc/biblio.bib
+++ b/doc/biblio.bib
@@ -149,6 +149,15 @@ s},
         YEAR               = {1993}
 }
 
+@TECHREPORT{COQ02,
+        AUTHOR             = {The Coq Development Team},
+        INSTITUTION        = {INRIA},
+        MONTH              = February,
+        NUMBER             = {255},
+        TITLE              = {{The Coq Proof Assistant Reference Manual Version 7.2}},
+        YEAR               = {2002}
+}
+
 @TECHREPORT{CPar93,
         AUTHOR             = {C. Parent},
         INSTITUTION        = {Ecole {Normale} {Sup\'erieure} de {Lyon}},