X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2FmatitaGuiTypes.mli;h=ce5c3c3d9718cb288b55bd88304de2c23dd2d587;hb=6fbaee3701f116f9db60bfd3998dff63ddb68704;hp=c9f4f71ff21737d06511d8627ecc089a1bdc18f1;hpb=79ba29ddfc90c0b9bc26e1ddde46cb94cb800d51;p=helm.git

diff --git a/matita/matita/matitaGuiTypes.mli b/matita/matita/matitaGuiTypes.mli
index c9f4f71ff..ce5c3c3d9 100644
--- a/matita/matita/matitaGuiTypes.mli
+++ b/matita/matita/matitaGuiTypes.mli
@@ -23,26 +23,15 @@
  * http://helm.cs.unibo.it/
  *)
 
-class type browserWin =
-object
-  inherit MatitaGeneratedGui.browserWin
-  method browserUri: GEdit.entry
-end
-
 class type gui =
 object
     (** {2 Access to singleton instances of lower-level GTK widgets} *)
   method main: MatitaGeneratedGui.mainWin
 
-    (** {2 Dialogs instantiation}
-     * methods below create a new window on each invocation. You should
-     * remember to destroy windows after use *)
-  method newBrowserWin: unit -> browserWin
-
     (** {2 Utility methods} *)
-
-  method newScript: unit -> unit
   method loadScript: string -> unit
+
+  method kill_worker: unit -> unit
 end
 
 type paste_kind = [ `Term | `Pattern ]
@@ -56,8 +45,3 @@ object
   method goto_sequent:
    #ApplyTransformation.status -> int -> unit (* to be called _after_ load_sequents *)
 end
-
-class type cicBrowser =
-object
-  method load: MatitaTypes.mathViewer_entry -> unit
-end