coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

From: Clément Pit--Claudel <clement.pit AT gmail.com>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Suggestions for Proof General?
Date: Fri, 17 Jun 2016 11:57:07 -0400
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=clement.pit AT gmail.com; spf=SoftFail smtp.mailfrom=clement.pit AT gmail.com; spf=None smtp.helo=postmaster AT mout.kundenserver.de
Ironport-phdr: 9a23:9e4loRepI10fcrzzKkoDdxHTlGMj4u6mDksu8pMizoh2WeGdxc6+YR7h7PlgxGXEQZ/co6odzbGG4uaxASdRvN6oizMrTt9lb1c9k8IYnggtUoauKHbQC7rUVRE8B9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUiv2OQc9HOnpAIma153xjLDjvcyLKFQVzBOGIppMbzyO5T3LsccXhYYwYo0Q8TDu5kVyRuJN2GlzLkiSlRuvru25/Zpk7jgC86l5r50IAu3GePEzSqUdBzA7OUg04tfqvF/NV1ih/HwZB04SEx9FBRTy1BDmG9LatiLnuud5kH2ROcDzQLYoHyyj849kTRbpjGEMMDtvozKfsdB5kK8O+EHpnBd42YOBOIw=

On 2016-06-17 11:27, Emilio Jesús Gallego Arias wrote:
> For now there's https://github.com/ejgallego/jscoq-builds/ , could
> that work as a CDN ?

I'm not sure; my proposal was to host the latest jsCoq release on a public
server, which all websites using jsCoq could point to.

This would be similar to e.g. https://code.jquery.com/; with such an
architecture in place, browsers would be able to cache jsCoq's sources and
.vo files across websites using jsCoq. This way, if I visit two separate
blogs both using jsCoq, I'll only need to download jsCoq's files a single
time — which would be useful, given the size of the download.

Clément.

Attachment: signature.asc
Description: OpenPGP digital signature

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