From e4282ea99c664d8d58067bee199cbbcf881b60d5 Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Sat, 4 Jul 2009 13:28:35 +0200
Subject: Imported Upstream version 8.2.pl1+dfsg

---
 config/coq_config.mli | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'config')

diff --git a/config/coq_config.mli b/config/coq_config.mli
index 14595fa5..0dc4a6a8 100644
--- a/config/coq_config.mli
+++ b/config/coq_config.mli
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id: coq_config.mli 11858 2009-01-26 13:27:23Z notin $ i*)
+(*i $Id: coq_config.mli 12104 2009-04-24 18:10:10Z notin $ i*)
 
 val local : bool        (* local use (no installation) *)
 
@@ -45,4 +45,8 @@ val browser : string
 (** default web browser to use, may be overriden by environment
     variable COQREMOTEBROWSER *)
 
+val wwwcoq : string
+val wwwrefman : string
+val wwwstdlib : string
+
 val has_natdynlink : bool
-- 
cgit v1.2.3