X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FmatitaGui.mli;h=796c33fef4b9fb42559561d91b61422816f3ea43;hb=a88be1ca42c0969dbab9a5c76240f5931df876d9;hp=8c9064e1da3a49e79e4f9447b6c038e9d20732c0;hpb=55b82bd235d82ff7f0a40d980effe1efde1f5073;p=helm.git

diff --git a/helm/software/matita/matitaGui.mli b/helm/software/matita/matitaGui.mli
index 8c9064e1d..796c33fef 100644
--- a/helm/software/matita/matitaGui.mli
+++ b/helm/software/matita/matitaGui.mli
@@ -23,6 +23,9 @@
  * http://helm.cs.unibo.it/
  *)
 
+  (** for debugging only *)
+val all_disambiguation_passes: bool ref
+
   (** singleton instance of the gui *)
 val instance: unit -> MatitaGuiTypes.gui
 
@@ -40,10 +43,10 @@ val interactive_uri_choice:
   ?hide_uri_entry:bool -> ?hide_try:bool -> ?ok_label:string ->
   ?ok_action:[`AUTO|`SELECT] ->
   ?copy_cb:(string -> unit) -> unit ->
-    GrafiteDisambiguator.choose_uris_callback
+  id:'a -> UriManager.uri list -> UriManager.uri list
 
   (** @raise MatitaTypes.Cancel *)
 val interactive_interp_choice:
   unit ->
-    GrafiteDisambiguator.choose_interp_callback
+    DisambiguateTypes.interactive_interpretation_choice_type