Re: [PG-devel] An update on porting PG to Coq 8.5's new APIs

[Alan Schmitt]

On 2016-06-16 15:44, "Paul A. Steckler"  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  tag. We can
> probably offer something to indicate when that's happened.

It sounds perfect, thanks a lot.

Alan

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


signature.asc
Description: PGP signature
___
ProofGeneral-devel mailing list
ProofGeneral-devel@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel

Re: [PG-devel] An update on porting PG to Coq 8.5's new APIs

[Clément Pit--Claudel]

Hi Alan,

We're hoping to get a pretty flexible codebase in the end, but more details on 
your use case would be useful :) What are the main difficulties that you ran 
into with the current codebase ?

Clément.

On 2016-06-16 03:27, Alan Schmitt wrote:
> Hello Clément,
> 
> Will this rewrite be monolithic, or will it be possible to use it to
> interact with Coq through elisp? I'm particularly interested in
> improving org-babel support for Coq (which works but is not very
> robust).
> 
> Thanks,
> 
> Alan
> 



signature.asc
Description: OpenPGP digital signature
___
ProofGeneral-devel mailing list
ProofGeneral-devel@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel