From ebfbb2cf101b83f4b3a393e68dbdfdc3bfbcaf1a Mon Sep 17 00:00:00 2001
From: herbelin
Date: Sun, 10 Sep 2000 07:09:16 +0000
Subject: Uniformisation AddPath, Print LoadPath, ... en Add Path, Print Path.
 Abstraction de constr. LetIn.

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

(limited to 'library/library.mli')

diff --git a/library/library.mli b/library/library.mli
index f3899250ee..0eb47bd3a8 100644
--- a/library/library.mli
+++ b/library/library.mli
@@ -32,3 +32,8 @@ val require_module : bool option -> string -> string option -> bool -> unit
 
 val save_module_to : string -> string -> unit
 
+(*s Global load path *)
+val get_load_path : unit -> string list
+val add_path : string -> unit
+val rec_add_path : string -> unit
+val remove_path : string -> unit
-- 
cgit v1.2.3