X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2FmatitaGui.mli;h=1618c1eebfb5f924aca1a126b52c51da1f9d0fd4;hb=d9a1ff8259a7882caa0ffd27282838c00a34cab5;hp=796c33fef4b9fb42559561d91b61422816f3ea43;hpb=2c01ff6094173915e7023076ea48b5804dca7778;p=helm.git

diff --git a/matita/matita/matitaGui.mli b/matita/matita/matitaGui.mli
index 796c33fef..1618c1eeb 100644
--- a/matita/matita/matitaGui.mli
+++ b/matita/matita/matitaGui.mli
@@ -26,27 +26,4 @@
   (** for debugging only *)
 val all_disambiguation_passes: bool ref
 
-  (** singleton instance of the gui *)
 val instance: unit -> MatitaGuiTypes.gui
-
-  (** {2 Disambiguation callbacks}
-  * Use singleton gui instance. *)
-
-  (** @param selection_mode selection mode in uri list, default to `MULTIPLE
-    * @param title window title, defaults to ""
-    * @param msg message for the user, defaults to ""
-    * @param nonvars_button enable button to exclude vars?, defaults to false
-    * @raise MatitaTypes.Cancel *)
-val interactive_uri_choice:
-  ?selection_mode:([`SINGLE|`MULTIPLE]) -> ?title:string ->
-  ?msg:string -> ?nonvars_button:bool -> 
-  ?hide_uri_entry:bool -> ?hide_try:bool -> ?ok_label:string ->
-  ?ok_action:[`AUTO|`SELECT] ->
-  ?copy_cb:(string -> unit) -> unit ->
-  id:'a -> UriManager.uri list -> UriManager.uri list
-
-  (** @raise MatitaTypes.Cancel *)
-val interactive_interp_choice:
-  unit ->
-    DisambiguateTypes.interactive_interpretation_choice_type
-