diff options
Diffstat (limited to 'ide/coq.mli')
| -rw-r--r-- | ide/coq.mli | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/ide/coq.mli b/ide/coq.mli index 6bc593477..c909a559f 100644 --- a/ide/coq.mli +++ b/ide/coq.mli @@ -15,16 +15,16 @@ open Ide_blob val short_version : unit -> string val version : unit -> string val filter_coq_opts : string list -> bool * string list -val check_connection : string -> unit +val check_connection : string list -> unit type coqtop -val dummy_coqtop : coqtop - -val spawn_coqtop : string -> coqtop +val spawn_coqtop : string list -> coqtop val kill_coqtop : coqtop -> unit +val break_coqtop : coqtop -> unit + val coqtop_zombies : unit -> int val reset_coqtop : coqtop -> unit |