diff options
author | Enrico Tassi <Enrico.Tassi@inria.fr> | 2014-01-22 10:26:36 +0100 |
---|---|---|
committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2014-01-26 14:20:52 +0100 |
commit | b0da879dc6abfca6b4e233b7469265a5cf52ce15 (patch) | |
tree | 52135f9c69dd9c6ad5571d49e8da0c14c819f6d2 /ide/coq.mli | |
parent | ea17a2a371d0d791f439e0a4c6610819ecb6f9b6 (diff) |
CoqIDE: ported to spawn
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 |