HLog.set_log_callback newcb;
let matita_debug = Helm_registry.get_bool "matita.debug" in
try
let time = Unix.time () in
HLog.set_log_callback newcb;
let matita_debug = Helm_registry.get_bool "matita.debug" in
try
let time = Unix.time () in
origcb `Message ("compiling " ^ Filename.basename fname ^ "...")
else
HLog.message (sprintf "execution of %s started:" fname);
origcb `Message ("compiling " ^ Filename.basename fname ^ "...")
else
HLog.message (sprintf "execution of %s started:" fname);