diff options
Diffstat (limited to 'ide/coqide.mli')
-rw-r--r-- | ide/coqide.mli | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/ide/coqide.mli b/ide/coqide.mli index ca5396950..f9e711455 100644 --- a/ide/coqide.mli +++ b/ide/coqide.mli @@ -24,7 +24,11 @@ val main : string list -> unit (** Function to save anything and kill all coqtops @return [false] if you're allowed to quit. *) -val forbid_quit_to_save : unit -> bool +val forbid_quit : unit -> bool + +(** Terminate coqide after closing all coqtops and waiting + for their death *) +val close_and_quit : unit -> unit (** Function to load of a file. *) val do_load : string -> unit |