X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FmatitaGtkMisc.mli;h=40fc9373bd68f7fd4aadb7dc757228af8235f640;hb=d1f310f1f31b6919aa6e5ac6afd41b539130aec5;hp=16b0591b2651a5a09856f5bdfad0c192c66d9c58;hpb=d4232ba846e48a959637d94445f169deca5464b4;p=helm.git

diff --git a/helm/software/matita/matitaGtkMisc.mli b/helm/software/matita/matitaGtkMisc.mli
index 16b0591b2..40fc9373b 100644
--- a/helm/software/matita/matitaGtkMisc.mli
+++ b/helm/software/matita/matitaGtkMisc.mli
@@ -113,7 +113,6 @@ class taggedStringListModel:
 class type gui =
   object  (* minimal gui object requirements *)
     method newUriDialog:          unit -> MatitaGeneratedGui.uriChoiceDialog
-    method newRecordDialog:       unit -> MatitaGeneratedGui.recordChoiceDialog
     method newConfirmationDialog: unit -> MatitaGeneratedGui.confirmationDialog
     method newEmptyDialog:        unit -> MatitaGeneratedGui.emptyDialog
   end
@@ -139,16 +138,6 @@ val ask_text:
   ?multiline:bool -> ?default:string -> unit ->
     string
 
-  (** @param fields field names
-   * @param records list of records, each record is a list of [fields] strings
-   * @return number of the chosen record, 0 for the first one *)
-val ask_record_choice:
-  gui:#gui ->
-  ?title:string -> ?message:string ->
-  fields:string list -> records:string list list ->
-  unit ->
-    int
-
 val report_error:
   title:string -> message:string -> 
   ?parent:#GWindow.window_skel ->