snapshot, notably:

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

diff --git a/helm/matita/matitaTypes.ml b/helm/matita/matitaTypes.ml
index 5305ea463d66cec6a780a76c2cc6fefd14250362..c49bce0040049595cbcceda5b405559dc4bb713b 100644 (file)
--- a/helm/matita/matitaTypes.ml
+++ b/helm/matita/matitaTypes.ml
@@ -136,6 +136,7 @@ class type mathViewer =
   object
     method checkTerm: Cic.conjecture -> Cic.metasenv -> unit
     method unload: unit -> unit
+    method set_href_callback: (UriManager.uri -> unit) option -> unit
   end
 
 type mml_of_cic_sequent =