let til_slash_RE = Pcre.regexp "^.*/"
let no_slashes_RE = Pcre.regexp "^[^/]*$"
let fix_regexp_RE = Pcre.regexp ("^" ^ (Pcre.quote "(cic|theory)"))
-let showable_file_RE = Pcre.regexp "(\\.con|\\.ind|\\.var)$"
+let showable_file_RE =
+ Pcre.regexp "(\\.con|\\.ind|\\.var|\\.body|\\.types|\\.proof_tree)$"
let xml_suffix = ".xml"
let theory_suffix = ".theory" ^ xml_suffix
with Http_getter_storage.Resource_not_found _ -> raise (Key_not_found uri)
end
-let getxslt ?(patch_dtd = true) uri = assert false
+let getxslt uri = assert false
(* let getxslt ?(patch_dtd = true) uri =
if remote () then
getxslt_remote ~patch_dtd uri
(if newtree > oldtree then newtree else oldtree))
let store_obj tbl o =
+(* prerr_endline ("Http_getter.store_obj " ^ o); *)
if Pcre.pmatch ~rex:showable_file_RE o then begin
let basepart = Pcre.replace ~rex:basepart_RE ~templ:"$1" o in
let no_flags = false, No, No, No in
(** non regexp-aware version of ls *)
let dumb_ls uri_prefix =
+(* prerr_endline ("Http_getter.dumb_ls " ^ uri_prefix); *)
if is_cic_obj_uri uri_prefix then begin
let dirs = ref StringSet.empty in
let objs = Hashtbl.create 17 in
val exists: string -> bool
val getxml : string -> string
-val getxslt : ?patch_dtd:bool -> string -> string
+val getxslt : string -> string
val getdtd : string -> string
val clean_cache: unit -> unit
val getalluris: unit -> string list