diff options
author | Stephane Glondu <steph@glondu.net> | 2012-01-12 16:02:20 +0100 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2012-01-12 16:02:20 +0100 |
commit | 97fefe1fcca363a1317e066e7f4b99b9c1e9987b (patch) | |
tree | 97ec6b7d831cc5fb66328b0c63a11db1cbb2f158 /ide/coqide.mli | |
parent | 300293c119981054c95182a90c829058530a6b6f (diff) |
Imported Upstream version 8.4~betaupstream/8.4_beta
Diffstat (limited to 'ide/coqide.mli')
-rw-r--r-- | ide/coqide.mli | 38 |
1 files changed, 31 insertions, 7 deletions
diff --git a/ide/coqide.mli b/ide/coqide.mli index ea995c71..38b0fab0 100644 --- a/ide/coqide.mli +++ b/ide/coqide.mli @@ -1,16 +1,40 @@ (************************************************************************) (* v * The Coq Proof Assistant / The Coq Development Team *) -(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2011 *) +(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2010 *) (* \VV/ **************************************************************) (* // * This file is distributed under the terms of the *) (* * GNU Lesser General Public License Version 2.1 *) (************************************************************************) -(*i $Id: coqide.mli 14641 2011-11-06 11:59:10Z herbelin $ i*) +(** * The CoqIde main module *) -(* The CoqIde main module. The following function [start] will parse the - command line, initialize the load path, load the input - state, load the files given on the command line, load the ressource file, - produce the output state if any, and finally will launch the interface. *) +(** The arguments that will be passed to coqtop. No quoting here, since + no /bin/sh when using create_process instead of open_process. *) +val sup_args : string list ref -val start : unit -> unit +(** Filter the argv from coqide specific options, and set + Minilib.coqtop_path accordingly *) +val read_coqide_args : string list -> string list + +(** Ask coqtop the remaining options it doesn't recognize *) +val process_argv : string list -> string list + +(** Prepare the widgets, load the given files in tabs *) +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 + +(** Function to load of a file. *) +val do_load : string -> unit + +(** Set coqide to ignore Ctrl-C, while launching [crash_save] and + exiting for others received signals *) +val ignore_break : unit -> unit + +(** Emergency saving of opened files as "foo.v.crashcoqide", + and exit (if the integer isn't 127). *) +val crash_save : int -> unit + +val check_for_geoproof_input : unit -> unit |