let (slash_RE, til_slash_RE, no_slashes_RE) =
(Pcre.regexp "/", Pcre.regexp "^.*/", Pcre.regexp "^[^/]*$")
in
- fun lsuri ->
+ fun regexp ->
if remote () then
- ls_remote lsuri
+ ls_remote regexp
else begin
let pat =
- "^" ^
- (match lsuri with Cic p -> ("cic:" ^ p) | Theory p -> ("theory:" ^ p))
+ "^" ^ regexp
+(* (match lsuri with Cic p -> ("cic:" ^ p) | Theory p -> ("theory:" ^ p)) *)
in
let (dir_RE, obj_RE) =
(Pcre.regexp (pat ^ "/"), Pcre.regexp (pat ^ "(\\.|$)"))