coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

From: "Paul A. Steckler" <steck AT stecksoft.com>
To: coq-club <coq-club AT inria.fr>
Subject: Re: [Coq-Club] Suggestions for Proof General?
Date: Fri, 17 Jun 2016 12:14:11 -0400
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=stecksoft AT gmail.com; spf=Pass smtp.mailfrom=stecksoft AT gmail.com; spf=None smtp.helo=postmaster AT mail-vk0-f52.google.com
Ironport-phdr: 9a23:/YmQcBUFC7L18RoMZ0yE3mksyJHV8LGtZVwlr6E/grcLSJyIuqrYZhGFt8tkgFKBZ4jH8fUM07OQ6PCxHz1YqsfR+Fk5M7VyFDY9wf0MmAIhBMPXQWbaF9XNKxIAIcJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3CwN5K6zPF5LIiIzvjqbpq8yVMl0D1Wr1SIgxBSv1hD2ZjtMRj4pmJ/R54TryiVwMRd5rw3h1L0mYhRf265T41pdi9yNNp6BprJYYAu2pN5g/GLdfFXEtN30/rJngsgCGRg+S7FMdVH8Xm1xGGV6Wwgv9W8K7iiLnsqJUnmGhIcD9TrQ5Q37qu7x3RRTroDwbOjU662bZlop7i6cN80HpnAB234OBONLdD/F5ZK6IJd4=

How much Javascript is involved with jsCoq? It's minified, yes?

-- Paul

On Fri, Jun 17, 2016 at 11:57 AM, Clément Pit--Claudel
<clement.pit AT gmail.com>
wrote:
> 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.
>

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