aboutsummaryrefslogtreecommitdiffhomepage
path: root/toplevel/coqtop.mli
blob: 53af17474a6b1132624cfaae0ddadc890a4c6bf0 (plain)
1
2
3
4
5
6
7
8
9

(*i $Id$ i*)

(* The Coq main module. The following function [start] will parse the
   command line, print the banner, 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 [Toplevel.loop]. *)

val start : unit -> unit