From 39cfc84722b167504b86198a101a1b4c70288ced Mon Sep 17 00:00:00 2001
From: mohring
Date: Wed, 3 Dec 2003 10:46:34 +0000
Subject: *** empty log message ***

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8376 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 doc/RefMan.txt | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/RefMan.txt b/doc/RefMan.txt
index ccaa488b83..752462670e 100644
--- a/doc/RefMan.txt
+++ b/doc/RefMan.txt
@@ -35,7 +35,7 @@ MANUEL DE REFERENCE
 \include{RefMan-com}% The coq commands (coqc coqtop)		HH
 %%ajouter nouvelles options -v7 -translate au document de passage
 \include{RefMan-uti}% utilities (gallina, do_Makefile, etc)	JCF
-%%ajouter coqide				       Benjamin M
+\include{RefMan-ide}%CoqIde					CM
 
 \include{AddRefMan-pre}%					CP
 
@@ -48,7 +48,7 @@ MANUEL DE REFERENCE
 %% A SUPPRIMER
 %% \include{Correctness.v}% = preuve de pgms imperatifs		
 \include{Extraction.v}%						Pierre L
-\include{Polynom.v}%  = Ring					JCF
+\include{Polynom.v}%  = Ring				        Julien N
 \include{Setoid.v}% Tactique pour les setoides			Clement
 \addtocontents{sh}{ENDADDENDUM=\thepage}
 
-- 
cgit v1.2.3