X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Finterface%2FuriManager.mli;fp=helm%2Finterface%2FuriManager.mli;h=0000000000000000000000000000000000000000;hb=fa11ed6dc134f8ad3421c37a97271018e075bbed;hp=8cffc943ad1e6d7cead01df29d2fd6432d01a2a5;hpb=c03d2c1fdab8d228cb88aaba5ca0f556318bebc5;p=helm.git

diff --git a/helm/interface/uriManager.mli b/helm/interface/uriManager.mli
deleted file mode 100644
index 8cffc943a..000000000
--- a/helm/interface/uriManager.mli
+++ /dev/null
@@ -1,15 +0,0 @@
-type uri
-
-val eq : uri -> uri -> bool
-
-val uri_of_string : string -> uri
-
-val string_of_uri : uri -> string  (* complete uri *)
-val name_of_uri   : uri -> string  (* name only (without extension)*)
-val buri_of_uri   : uri -> string  (* base uri only *)
-val depth_of_uri  : uri -> int     (* length of the path *)
-
-(* relative_depth curi uri cookingsno                                        *)
-(* is the number of times to cook uri to use it when the current uri is curi *)
-(* cooked cookingsno times                                                   *)
-val relative_depth : uri -> uri -> int -> int