let time1 = Sys.time () in
self#load_root ~root:mml#get_documentElement ;
let time2 = Sys.time () in
- prerr_endline "LUCA: PASSO DA DOVE DEVO PASSARE" ;
debug_print ("Loading and displaying the proof took " ^
string_of_float (time2 -. time1) ^ "seconds") ;
current_mml <- Some mml