diff options
Diffstat (limited to 'ide/coq.mli')
-rw-r--r-- | ide/coq.mli | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/ide/coq.mli b/ide/coq.mli index aa8346348..f6f92a9a9 100644 --- a/ide/coq.mli +++ b/ide/coq.mli @@ -86,19 +86,9 @@ val get_arguments : coqtop -> string list val set_arguments : coqtop -> string list -> unit (** Set process arguments. This also forces a planned reset. *) -(** In win32, we'll use a different kill function than Unix.kill *) - -val killer : (int -> unit) ref -val soft_killer : (int -> unit) ref -val interrupter : (int -> unit) ref - (** In win32, sockets are not like regular files *) val gio_channel_of_descr_socket : (Unix.file_descr -> Glib.Io.channel) ref -val final_countdown : unit -> unit -(** [final_countdown] triggers an exit of coqide after - some last cycles for closing remaining coqtop zombies *) - (** {5 Task processing} *) val try_grab : coqtop -> unit task -> (unit -> unit) -> unit |