snapshot

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

diff --git a/helm/matita/matitaMathView.mli b/helm/matita/matitaMathView.mli
index 0aef1cc18900a411f5a3458851343babca04886d..6e43d130bb90889f3384335a01e3fcd9f853815a 100644 (file)
--- a/helm/matita/matitaMathView.mli
+++ b/helm/matita/matitaMathView.mli
@@ -35,7 +35,6 @@ val proof_viewer :
   unit ->
     MatitaTypes.proof_viewer
 
-(*
 val sequent_viewer :
   ?hadjustment:GData.adjustment ->
   ?vadjustment:GData.adjustment ->
@@ -47,5 +46,4 @@ val sequent_viewer :
   ?show:bool ->
   unit ->
     MatitaTypes.sequent_viewer
-*)