let uris_to_remove = ref [] in
let files_to_remove = ref [] in
(match Helm_registry.get_list Helm_registry.string "matita.args" with
let uris_to_remove = ref [] in
let files_to_remove = ref [] in
(match Helm_registry.get_list Helm_registry.string "matita.args" with
UM.buri_of_uri (UM.uri_of_string suri)
with UM.IllFormedUri _ ->
files_to_remove := suri :: !files_to_remove;
UM.buri_of_uri (UM.uri_of_string suri)
with UM.IllFormedUri _ ->
files_to_remove := suri :: !files_to_remove;
if String.length u < 5 || String.sub u 0 5 <> "cic:/" then begin
MatitaLog.error (sprintf "File %s defines a bad baseuri: %s"
suri u);
if String.length u < 5 || String.sub u 0 5 <> "cic:/" then begin
MatitaLog.error (sprintf "File %s defines a bad baseuri: %s"
suri u);