snapshot, notably:

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

diff --git a/helm/matita/matita.ml b/helm/matita/matita.ml
index 107691932b6fc5b71eaa4226ab192087f3847de1..13ec23a6e57697495c06a50246fef6d072f2b42a 100644 (file)
--- a/helm/matita/matita.ml
+++ b/helm/matita/matita.ml
@@ -88,6 +88,7 @@ let _ = (* attach observers to proof status *)
   currentProof#connect `Abort (fun () -> sequents_viewer#reset; false)
 
 let mathViewer = MatitaMathView.mathViewer ()
+let cicBrowser = MatitaMathView.cicBrowser ()
 let interpreter =
   let console = (gui#console :> MatitaTypes.console) in
   let currentProof = (currentProof :> MatitaTypes.currentProof) in
@@ -213,7 +214,8 @@ let _ =
       let i = ref 0 in
       List.iter
         (fun t -> incr i; debug_print (sprintf "%d: %s" !i (CicPp.ppterm t)))
-        sequent_viewer#get_selected_terms)
+        sequent_viewer#get_selected_terms);
+    addDebugItem "show cic browser" (fun () -> gui#browser#browserWin#show ());
   end
 
   (** </DEBUGGING> *)