match Helm_registry.get_list Helm_registry.string "matita.args" with
| [ "all" ] ->
if Helm_registry.get_bool "matita.system" then
match Helm_registry.get_list Helm_registry.string "matita.args" with
| [ "all" ] ->
if Helm_registry.get_bool "matita.system" then
DependenciesParser.baseuri_of_script ~include_paths:[] suri in
if String.length u < 5 || String.sub u 0 5 <> "cic:/" then begin
HLog.error (sprintf "File %s defines a bad baseuri: %s"
DependenciesParser.baseuri_of_script ~include_paths:[] suri in
if String.length u < 5 || String.sub u 0 5 <> "cic:/" then begin
HLog.error (sprintf "File %s defines a bad baseuri: %s"