addDebugItem "print selections" (fun () ->
let cicMathView = MatitaMathView.cicMathView_instance () in
List.iter MatitaLog.debug (cicMathView#string_of_selections));
- addDebugItem "dump getter settings" (fun _ ->
- prerr_endline (Http_getter_env.env_to_string ()));
- addDebugItem "getter: getalluris" (fun _ ->
- List.iter prerr_endline (Http_getter.getalluris ()));
addDebugItem "dump script status" script#dump;
addDebugItem "dump configuration file to ./foo.conf.xml" (fun _ ->
Helm_registry.save_to "./foo.conf.xml");
(fun _ ->
let nb = gui#main#hintNotebook in
nb#goto_page ((nb#current_page + 1) mod 3));
+ addDebugItem "print runtime dir"
+ (fun _ ->
+ prerr_endline BuildTimeConf.runtime_base_dir);
+ addDebugItem "disable all (pretty printing) notations"
+ (fun _ -> CicNotation.set_active_notations []);
+ addDebugItem "enable all (pretty printing) notations"
+ (fun _ ->
+ CicNotation.set_active_notations
+ (List.map fst (CicNotation.get_all_notations ())));
end
(** Debugging }}} *)