diff options
author | vgross <vgross@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2010-06-01 17:14:23 +0000 |
---|---|---|
committer | vgross <vgross@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2010-06-01 17:14:23 +0000 |
commit | 5dcfaee7251c9b7833b7f87d6f9b7528cc4aed7d (patch) | |
tree | 835e03dcf7f034459db50cac7f0ba7029a91e376 /ide/coq.mli | |
parent | 2a6f8b280353e44a87ba9da7ad0a73044c75ed49 (diff) |
added -args option to coqide to pass options to coqtops
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13046 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'ide/coq.mli')
-rw-r--r-- | ide/coq.mli | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/ide/coq.mli b/ide/coq.mli index 914eb708a..926919f70 100644 --- a/ide/coq.mli +++ b/ide/coq.mli @@ -19,7 +19,7 @@ type coqtop val dummy_coqtop : coqtop -val spawn_coqtop : unit -> coqtop +val spawn_coqtop : string -> coqtop val kill_coqtop : coqtop -> unit @@ -43,8 +43,6 @@ end val reset_initial : unit -> unit -val init : unit -> string list - val raw_interp : coqtop -> string -> unit val interp : coqtop -> bool -> string -> int |