diff options
Diffstat (limited to 'ide/coq.mli')
-rw-r--r-- | ide/coq.mli | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/ide/coq.mli b/ide/coq.mli index 37c5bcd00..f04dfeede 100644 --- a/ide/coq.mli +++ b/ide/coq.mli @@ -9,8 +9,10 @@ val short_version : unit -> string val version : unit -> string val filter_coq_opts : string list -> bool * string list +(* A mock coqtop launch, checking in particular that initial.coq is found *) val check_connection : string list -> unit -val coqlib : unit -> string +(* Same, with less checks, but returning coqlib *) +val check_coqlib : string list -> string type coqtop |