Just an update on this.
In my fork of PG, I'm used a modified version of Emacs' tq library,
which calls a function to process a finished response. We can probably
provide a mechanism to call something else in addition, if needed.
On Thu, Jun 16, 2016 at 10:21 AM, Alan Schmitt
> 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
ProofGeneral-devel mailing list