From bbc3e037f0da48ce2efe344f48da392907f58899 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 2 Jun 2004 11:27:33 +0000
Subject: Ajout RefMan 7.2

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8578 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 doc/biblio.bib | 9 +++++++++
 1 file changed, 9 insertions(+)

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