aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/coqide.mli
blob: dd3995eb99ef941f5ae2b671173b60fa3165ca73 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
(************************************************************************)
(*  v      *   The Coq Proof Assistant  /  The Coq Development Team     *)
(* <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        *)
(************************************************************************)

(* 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. *)
val sup_args : string list ref
val do_load : string -> unit
val process_argv : string list -> string list
val crash_save : int -> unit
val ignore_break : unit -> unit
val check_for_geoproof_input : unit -> unit
val main : string list -> unit