From bb6f20a2ee88f264fa2c73c5a3ed306008791f7d Mon Sep 17 00:00:00 2001 From: coq Date: Thu, 19 Dec 2002 16:57:45 +0000 Subject: Petit netoyage dans lib git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3463 85f007b7-540e-0410-9357-904b9bb8a0f7 --- library/library.mli | 6 ------ 1 file changed, 6 deletions(-) (limited to 'library/library.mli') diff --git a/library/library.mli b/library/library.mli index 43d73d241..d1d345aab 100644 --- a/library/library.mli +++ b/library/library.mli @@ -54,12 +54,6 @@ val require_library_from_file : val start_library : string -> dir_path * string val save_library_to : dir_path -> string -> unit -(*s [library_segment m] returns the segment of the loaded library - [m]; if not given, the segment of the current library is returned - (which is then the same as [Lib.contents_after None]). -*) -(*val library_segment : dir_path option -> Lib.library_segment*) - (* [library_full_filename] returns the full filename of a loaded library. *) val library_full_filename : dir_path -> string -- cgit v1.2.3