diff options
Diffstat (limited to 'ide/coq.mli')
| -rw-r--r-- | ide/coq.mli | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/ide/coq.mli b/ide/coq.mli index 84ef466d7..ed78e96e2 100644 --- a/ide/coq.mli +++ b/ide/coq.mli @@ -80,6 +80,12 @@ val reset_coqtop : coqtop -> unit (** Reset coqtop. Pending requests will be discarded. The reset handler of coqtop will be called with [Planned] as first argument *) +val get_arguments : coqtop -> string list +(** Get the current arguments used by coqtop. *) + +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 |