From 6b649aba925b6f7462da07599fe67ebb12a3460e Mon Sep 17 00:00:00 2001 From: Samuel Mimram Date: Wed, 28 Jul 2004 21:54:47 +0000 Subject: Imported Upstream version 8.0pl1 --- toplevel/coqtop.mli | 23 +++++++++++++++++++++++ 1 file changed, 23 insertions(+) create mode 100644 toplevel/coqtop.mli (limited to 'toplevel/coqtop.mli') diff --git a/toplevel/coqtop.mli b/toplevel/coqtop.mli new file mode 100644 index 00000000..ef8b4b37 --- /dev/null +++ b/toplevel/coqtop.mli @@ -0,0 +1,23 @@ +(************************************************************************) +(* v * The Coq Proof Assistant / The Coq Development Team *) +(* unit + +(* [init_ide] is to be used by the Coq IDE. + It does everything [start] does, except launching the toplevel loop. + It returns the list of Coq files given on the command line. *) + +val init_ide : unit -> string list + -- cgit v1.2.3