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.
On Thu, Jun 16, 2016 at 8:42 AM, Alan Schmitt
> On 2016-06-16 14:31, Clément Pit--Claudel <clement....@gmail.com> writes:
>> Hi Alan,
>> We're hoping to get a pretty flexible codebase in the end, but more details
>> your use case would be useful :) What are the main difficulties that you ran
>> into with the current codebase ?
> The current version of ob-coq relies on coq-inferior.el from the coq
> distribution and deals badly with detecting when the toplevel has
> finished replying. Since this is something PG needs to solve as well, it
> would be great to avoid doing that detection in ob-coq.el and rely
> directly on the part of PG that implements this interaction.
> OpenPGP Key ID : 040D0A3B4ED2E5C7
> Monthly Athmospheric CO₂, Mauna Loa Obs. 2015-05: 403.94, 2016-05: 407.70
> ProofGeneral-devel mailing list
ProofGeneral-devel mailing list