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: "Paul A. Steckler" <steck AT stecksoft.com>
Cc: coq-club <coq-club AT inria.fr>
Subject: Re: [Coq-Club] Suggestions for Proof General?
Date: Fri, 17 Jun 2016 18:33:32 +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:6hNpGRch79nCq4LkWXIV6tjQlGMj4u6mDksu8pMizoh2WeGdxc6zYR7h7PlgxGXEQZ/co6odzbGG4uaxASdZuc/JmUtBWaIPfidNsd8RkQ0kDZzNImzAB9muURYHGt9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3BPAZ4bt74BpTVx5zukbviqtuCO04R3GP1SIgxBSv1hD2ZjtMRj4pmJ/R54TryiVwMRd5rw3h1L0mYhRf265T41pdi9yNNp6BprJYYAu3SNp41Rr1ADTkgL3t9pIiy7UGCHkOz4S5WamwLllJhRUD+8BzxXZP8qGGy4vFh1SKZFdbqQLs3QjOs8+FgTxq+2wkdMDts/SLcjdU1h6ZGqjqx90Q5xJTbKMG4Mft6f6SVX94B13EJcc9VUyFOBcuVdYoGFKtSbq5js4Dhqg5W/lOFDg62Cbaqk2cQiw==
Organization: X80 Heavy Industries

"Paul A. Steckler"
<steck AT stecksoft.com>
writes:

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

Around 6 MiB (which compresses to ~1.5Mib) + 50-300 MiB in libraries and
plugins (which compresses to ~half size on average).

E.

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