X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2FmatitaGtkMisc.mli;h=6884e232e1c686f8194c038eb73b59973f079a2f;hb=e082eec771e24842f29a01fa258f7c80bc2db599;hp=04a531216780997863f7bad05f0d26dc3dab826c;hpb=2815c74c03f38089d0e27aba00e2280223b0f76f;p=helm.git

diff --git a/matita/matita/matitaGtkMisc.mli b/matita/matita/matitaGtkMisc.mli
index 04a531216..6884e232e 100644
--- a/matita/matita/matitaGtkMisc.mli
+++ b/matita/matita/matitaGtkMisc.mli
@@ -76,7 +76,9 @@ class multiStringListModel:
     method list_store: GTree.list_store (** list_store forwarding *)
 
     method easy_mappend:     string list -> unit        (** append + set *)
+
     method easy_minsert:     int -> string list -> unit (** insert + set *)
+
     method easy_mselection:  unit -> string list list
   end
   
@@ -87,7 +89,9 @@ class stringListModel:
     inherit multiStringListModel
 
     method easy_append:     string -> unit        (** append + set *)
+
     method easy_insert:     int -> string -> unit (** insert + set *)
+
     method easy_selection:  unit -> string list
   end