From 6e1041ad146ab3cf90cfdfad237ee1f6816a3db6 Mon Sep 17 00:00:00 2001
From: notin <notin@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Fri, 24 Apr 2009 18:28:56 +0000
Subject: Report de la révision #12104 (Maj lien site web de Coq)
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12105 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 config/coq_config.mli | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'config')

diff --git a/config/coq_config.mli b/config/coq_config.mli
index 85d25ad73..5294ee6f1 100644
--- a/config/coq_config.mli
+++ b/config/coq_config.mli
@@ -63,3 +63,8 @@ val has_coqide : string
 
 val has_natdynlink : bool
 val natdynlinkflag : string (* special cases of natdynlink (e.g. MacOS 10.5) *)
+
+val wwwcoq : string
+val wwwrefman : string
+val wwwstdlib : string
+
-- 
cgit v1.2.3