attached macros: hint(partial), check

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

diff --git a/helm/matita/matitaMathView.ml b/helm/matita/matitaMathView.ml
index addf9763cc2350125be11b57792f8d41d1a5f506..05f5246e5518bbfbe50de186a51f7376faea3d7c 100644 (file)
--- a/helm/matita/matitaMathView.ml
+++ b/helm/matita/matitaMathView.ml
@@ -511,3 +511,8 @@ let default_sequentsViewer () =
   sequentsViewer ~notebook:gui#main#sequentsNotebook ~sequentViewer ()
 let sequentsViewer_instance = MatitaMisc.singleton default_sequentsViewer
 
+
+let mathViewer () = 
+  object 
+    method show_term t = (cicBrowser ()) # loadTerm t
+  end