coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Suggestions for Proof General?

From: e+coq-club AT x80.org (Emilio Jesús Gallego Arias)
To: Clément Pit--Claudel <clement.pit AT gmail.com>
Cc: coq-club AT inria.fr
Subject: Re: [Coq-Club] Suggestions for Proof General?
Date: Fri, 17 Jun 2016 17:27:00 +0200
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=e+coq-club AT x80.org; spf=Neutral smtp.mailfrom=e+coq-club AT x80.org; spf=None smtp.helo=postmaster AT jiboia.ensmp.fr
Ironport-phdr: 9a23:jKUHER9WmD2h6v9uRHKM819IXTAuvvDOBiVQ1KB92u0cTK2v8tzYMVDF4r011RmSDdSduqoP27uempujcFJDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXsq3G/pQQfBg/4fVIsYL+lS8iD14/nhqibwN76XUZhvHKFe7R8LRG7/036l/I9ps9cEJs30QbDuXBSeu5blitCLFOXmAvgtI/rpMYwuwwZgf8q9tZBXKPmZOx4COUAVHV1e1wysebvNBzOSxfH3noAFyA9lhNVDwXBpEXxWpr0vy3m8PJ8xAGVOMT3SfY/XjH0vIlxTxq9hWQMMCd8+2XKgORg3Podpwiu71xSxo/QYYbdFvdl7LiVUtoeQWdOWY54TS1IGcLvPMM0E+MdMLMA/MHGrFwUoE77XFH0CQ==
Organization: X80 Heavy Industries

Clément Pit--Claudel
<clement.pit AT gmail.com>
writes:

>> Even if still not 100% production ready, I would recommend tyring jscoq
>> for that use case. A 5 minutes hack:
>
> Very nice!
> I wonder if we could get a CDN for jscoq; this way it would get
> automatically updated :)

For now there's https://github.com/ejgallego/jscoq-builds/ , could that work
as a
CDN ?

E.

Re: [Coq-Club] Suggestions for Proof General?, (continued)