On 2016-06-16 15:44, "Paul A. Steckler" <st...@stecksoft.com> writes:

> I'm the one who'll be doing the programming on this project.
> As a long-time consumer of OCaml Weekly News, I'm happy to reciprocate
> by exposing what APIs are needed. :-)
> The coqtop XML API concludes each response with a <value> tag. We can
> probably offer something to indicate when that's happened.

It sounds perfect, thanks a lot.


OpenPGP Key ID : 040D0A3B4ED2E5C7
Monthly Athmospheric CO₂, Mauna Loa Obs. 2015-05: 403.94, 2016-05: 407.70

Attachment: signature.asc
Description: PGP signature

ProofGeneral-devel mailing list

Reply via email to