added support for (textual) cut and paste of mathml/boxml markup

[helm.git] / helm / matita / matita.ml

diff --git a/helm/matita/matita.ml b/helm/matita/matita.ml
index 07def06cd8b12dca4b1d93633f9b5c189a774f33..69bee68a534ee659b566e6f894945e901be28436 100644 (file)
--- a/helm/matita/matita.ml
+++ b/helm/matita/matita.ml
@@ -129,9 +129,9 @@ let _ =
       List.iter (fun (u,_,_) -> 
         prerr_endline (UriManager.string_of_uri u)) 
         (CicEnvironment.list_obj ()));
-    addDebugItem "print selected terms" (fun () ->
+    addDebugItem "print selections" (fun () ->
       let sequentViewer = MatitaMathView.sequentViewer_instance () in
-      MatitaLog.debug (sequentViewer#string_of_selected_terms));
+      List.iter MatitaLog.debug (sequentViewer#string_of_selections));
     addDebugItem "dump getter settings" (fun _ ->
       prerr_endline (Http_getter_env.env_to_string ()));
     addDebugItem "getter: getalluris" (fun _ ->