Added a way to change dynamically coqtop arguments in CoqIDE.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16636 85f007b7-540e-0410-9357-904b9bb8a0f7

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