X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2FmatitaGuiTypes.mli;h=f75769fb0daccdc65168e3160db4716770e7a0f0;hb=74c6905907b0bca229366d52450e2a6982b5b8be;hp=2c685c0ad4cfd9c51268a5bfade524383ab60368;hpb=eebe90eef0aa7997fc6cfc926b7bbf1899b5080d;p=helm.git

diff --git a/matita/matita/matitaGuiTypes.mli b/matita/matita/matitaGuiTypes.mli
index 2c685c0ad..f75769fb0 100644
--- a/matita/matita/matitaGuiTypes.mli
+++ b/matita/matita/matitaGuiTypes.mli
@@ -23,39 +23,12 @@
  * http://helm.cs.unibo.it/
  *)
 
-class type console =
-object
-  method message: string -> unit
-  method error: string -> unit
-  method warning: string -> unit
-  method debug: string -> unit
-  method clear: unit -> unit
-
-  method log_callback: HLog.log_callback
-end
-
-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
-  method newUriDialog:          unit -> MatitaGeneratedGui.uriChoiceDialog
-  method newEmptyDialog:        unit -> MatitaGeneratedGui.emptyDialog
+  method main: MatitaGeneratedGui.mainWin
 
     (** {2 Utility methods} *)
-
-  method newScript: unit -> unit
   method loadScript: string -> unit
 end
 
@@ -70,8 +43,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