List.iter (fun (u,_,_) ->
prerr_endline (UriManager.string_of_uri u))
(CicEnvironment.list_obj ()));
- addDebugItem "print selections" (fun () ->
+(* addDebugItem "print selections" (fun () ->
let cicMathView = MatitaMathView.cicMathView_instance () in
- List.iter HLog.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");