modifications to make matita behave reasonably, removed some useless windows

[helm.git] / components / extlib / hExtlib.mli

diff --git a/components/extlib/hExtlib.mli b/components/extlib/hExtlib.mli
index 07de4bea60efc18a97e5eb7404abd33ef3be3a81..0d8d0aeff6951973cc0f606e6ff9201d31b61bff 100644 (file)
--- a/components/extlib/hExtlib.mli
+++ b/components/extlib/hExtlib.mli
@@ -49,7 +49,8 @@ val normalize_path: string -> string (** /foo/./bar/..//baz -> /foo/baz *)
 val find: ?test:(string -> bool) -> string -> string list 
 
   (** find_in paths name returns the first path^"/"^name such that 
-   *  is a regular file and the current user can 'stat' it. May raise Failure. *)
+   *  is a regular file and the current user can 'stat' it. 
+   *  May raise (Failure "find_in") *)
 val find_in: string list -> string -> string
 
 (** {2 File I/O} *)
@@ -119,3 +120,6 @@ val raise_localized_exception: offset:int -> Stdpp.location -> exn -> 'a
 (* size in KB (SLOW) *)
 val estimate_size: 'a -> int
 
+(* is_prefix_of [prefix] [string] *)
+val is_prefix_of: string -> string -> bool
+val touch: string -> unit