The Coq mailing list

[Sidi.Ould_Biha AT sophia.inria.fr]

Hi,
There is a Coq command called "external". It allows Coq to call an
external program. From a Client/Server point of view, the external program
can be seen as a server and Coq as a client. The data exchanged is encoded
in XML.
Documentation can be found at the end of the section 9.2 of the ref manual.

--
Sidi

> Hi,
>
> I have found interfaces between Coq and some tools like ELAN and Maple.
> However, I cannot find any documentation about the mechanisms that
> Coq provides to interface with external tools.
> Is there any documentation available?
>
> Thanks,
> Paulo
>
> --------------------------------------------------------
> Bug reports: http://logical.futurs.inria.fr/coq-bugs
> Archives: http://pauillac.inria.fr/pipermail/coq-club
>           http://pauillac.inria.fr/bin/wilma/coq-club
> Info: http://pauillac.inria.fr/mailman/listinfo/coq-club
>