diff options
Diffstat (limited to 'toplevel/ide_slave.mli')
-rw-r--r-- | toplevel/ide_slave.mli | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/toplevel/ide_slave.mli b/toplevel/ide_slave.mli deleted file mode 100644 index 8b0ad168..00000000 --- a/toplevel/ide_slave.mli +++ /dev/null @@ -1,17 +0,0 @@ -(************************************************************************) -(* v * The Coq Proof Assistant / The Coq Development Team *) -(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2014 *) -(* \VV/ **************************************************************) -(* // * This file is distributed under the terms of the *) -(* * GNU Lesser General Public License Version 2.1 *) -(************************************************************************) - -(** [Ide_slave] : an implementation of [Ide_intf], i.e. mainly an interp - function and a rewind function. This specialized loop is triggered - when the -ideslave option is passed to Coqtop. Currently CoqIDE is - the only one using this mode, but we try here to be as generic as - possible, so this may change in the future... *) - -val init_stdout : unit -> unit - -val loop : unit -> unit |