snapshot, notably:

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

diff --git a/helm/matita/matitaTypes.mli b/helm/matita/matitaTypes.mli
index cc91486d672650793d0eae22e20be2b7e4fb5994..b0830c70928b09f4b1beea6b28d6287ea3bb8b3d 100644 (file)
--- a/helm/matita/matitaTypes.mli
+++ b/helm/matita/matitaTypes.mli
@@ -157,6 +157,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 =