From e978da8c41d8a3c19a29036d9c569fbe2a4616b0 Mon Sep 17 00:00:00 2001
From: Samuel Mimram <smimram@debian.org>
Date: Fri, 16 Jun 2006 14:41:51 +0000
Subject: Imported Upstream version 8.0pl3+8.1beta

---
 ide/coq.mli | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'ide/coq.mli')

diff --git a/ide/coq.mli b/ide/coq.mli
index eaa32068..666a5397 100644
--- a/ide/coq.mli
+++ b/ide/coq.mli
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id: coq.mli 6621 2005-01-21 17:24:37Z herbelin $ i*)
+(*i $Id: coq.mli 8877 2006-05-30 16:37:04Z notin $ i*)
 
 open Names
 open Term
@@ -50,6 +50,7 @@ val concl_menu : concl -> (string * string) list
 
 val is_in_coq_lib : string -> bool
 val is_in_coq_path : string -> bool
+val is_in_loadpath : string -> bool
 
 val make_cases : string -> string list list
 
-- 
cgit v1.2.3