coq-club AT inria.fr

Subject: The Coq mailing list

List archive

From: James Smith <jecs AT imperial.ac.uk>
To: coq-club AT inria.fr
Subject: [Coq-Club] Front end for COQ JS
Date: Tue, 21 Jun 2016 18:58:33 +0100
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=jecs AT imperial.ac.uk; spf=Pass smtp.mailfrom=jecs AT imperial.ac.uk; spf=None smtp.helo=postmaster AT smtp1.cc.ic.ac.uk
Ironport-phdr: 9a23:FyQZdBzHLdjGCsfXCy+O+j09IxM/srCxBDY+r6Qd0ekSIJqq85mqBkHD//Il1AaPBtSDraocwLqN+4nbGkU+or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6anHS+4HYoFwnlMkItf6KuS9aU15z8h7v60qaQSjsLrQL1Wal1IhSyoFeZnegtqqwmFJwMzADUqGBDYeVcyDAgD1uSmxHh+pX4p8Y7oGwD884mosVHSODxe7kyZb1eFjUvdW4vt+PxshyWbwKK62BUaWAXjhoAVwrI5wrSX5LpvzH7v+470SLcIM6gHuN8Yiir86o+EEygsywALTNsqGw=

Hi,

sorry I should have posted this link, which would have made more sense:

http://djalbat.com/florence

Kind regards,

James

[Coq-Club] ANN: jsCoq 0.8 / SerAPI 0.02, Emilio Jesús Gallego Arias, 06/13/2016
- Re: [Coq-Club] ANN: jsCoq 0.8 / SerAPI 0.02, Benjamin C. Pierce, 06/20/2016
  - Re: [Coq-Club] ANN: jsCoq 0.8 / SerAPI 0.02, Emilio Jesús Gallego Arias, 06/20/2016
    - Re: [Coq-Club] ANN: jsCoq 0.8 / SerAPI 0.02, Emilio Jesús Gallego Arias, 06/20/2016
      - Re: [Coq-Club] ANN: jsCoq 0.8 / SerAPI 0.02, Benjamin C. Pierce, 06/21/2016
  - [Coq-Club] Front end for COQ JS, James Smith, 06/20/2016
    - Re: [Coq-Club] Front end for COQ JS, Emilio Jesús Gallego Arias, 06/20/2016
      - Re: [Coq-Club] Front end for COQ JS, James Smith, 06/20/2016
        
        Re: [Coq-Club] Front end for COQ JS, Emilio Jesús Gallego Arias, 06/20/2016
        
        [Coq-Club] Front end for COQ JS, James Smith, 06/21/2016