(CicEnvironment.list_obj ()));
addDebugItem "print selections" (fun () ->
let cicMathView = MatitaMathView.cicMathView_instance () in
- List.iter MatitaLog.debug (cicMathView#string_of_selections));
+ List.iter HLog.debug (cicMathView#string_of_selections));
addDebugItem "dump script status" script#dump;
addDebugItem "dump configuration file to ./foo.conf.xml" (fun _ ->
Helm_registry.save_to "./foo.conf.xml");
addDebugItem "dump metasenv"
(fun _ ->
if script#onGoingProof () then
- MatitaLog.debug (CicMetaSubst.ppmetasenv [] script#proofMetasenv));
+ HLog.debug (CicMetaSubst.ppmetasenv [] script#proofMetasenv));
addDebugItem "dump coercions Db" (fun _ ->
List.iter
(fun (s,t,u) ->
- MatitaLog.debug
+ HLog.debug
(UriManager.name_of_uri u ^ ":"
^ CoercDb.name_of_carr s ^ " -> " ^ CoercDb.name_of_carr t))
(CoercDb.to_list ()));
(MatitaTypes.get_stack (MatitaScript.current ())#status)));
(* addDebugItem "ask record choice"
(fun _ ->
- MatitaLog.debug (string_of_int
+ HLog.debug (string_of_int
(MatitaGtkMisc.ask_record_choice ~gui ~title:"title" ~message:"msg"
~fields:["a"; "b"; "c"]
~records:[