Ctr-C now is equivalent to pressing the Break button

[helm.git] / matita / matita / matitaGuiTypes.mli

diff --git a/matita/matita/matitaGuiTypes.mli b/matita/matita/matitaGuiTypes.mli
index 5ced23d9edae6cef9cbe216785d1fa19eaf7ab05..ce5c3c3d9718cb288b55bd88304de2c23dd2d587 100644 (file)
--- a/matita/matita/matitaGuiTypes.mli
+++ b/matita/matita/matitaGuiTypes.mli
@@ -29,8 +29,9 @@ object
   method main: MatitaGeneratedGui.mainWin
 
     (** {2 Utility methods} *)
-  method newScript: unit -> unit
   method loadScript: string -> unit
+
+  method kill_worker: unit -> unit
 end
 
 type paste_kind = [ `Term | `Pattern ]
@@ -44,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