coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] ANN: jsCoq 0.8 / SerAPI 0.02

From: e+coq-club AT x80.org (Emilio Jesús Gallego Arias)
To: "Benjamin C. Pierce" <bcpierce AT cis.upenn.edu>
Cc: coq-club AT inria.fr
Subject: Re: [Coq-Club] ANN: jsCoq 0.8 / SerAPI 0.02
Date: Mon, 20 Jun 2016 17:04:46 +0200
Authentication-results: mail3-smtp-sop.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 boipeva.ensmp.fr
Ironport-phdr: 9a23:D1h1kxKeHPk+tqXEAdmcpTZWNBhigK39O0sv0rFitYgUI/TxwZ3uMQTl6Ol3ixeRBMOAu6MC2red7PGocFdDyKjCmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TWM5DIfUi/yKRBybrysXNWC3oLmiqvtqtX6WEZhunmUWftKNhK4rAHc5IE9oLBJDeIP8CbPuWZCYO9MxGlldhq5lhf44dqsrtY4q3wD89pozcNLUL37cqIkVvQYSW1+ayFmrPHs4FPpQA2N734dVC091FJwAgXf5xywFsP7uTP7u/B21QGRPNawUKg5XzLk4qt2HkzGkiACYjN6+2bOz8d0kahzsEL54RtlzMaUTYSUMPt5NoHQZkEBDUVIWsJcWCsJK5m9ZpBOXLlJBvpRs4So/whGlhC5HwT5Qbq3kjI=
Organization: X80 Heavy Industries

e+coq-club AT x80.org
(Emilio Jesús Gallego Arias) writes:

> I think it is not yet ready to the point you can fully replace
> Emacs/CoqIDE, however it is a start and the thing can serve as backup.

Indeed there is a very annoying bug that prevents the whole book
working fine: braces as in:

assert H.
{ now tac. }

are not handled correctly by the editor. Fixed manually in few first
chapters, bug was already in my TODO list.

Also coqdoc tool sometimes likes to eat random tokens, but that is
usually easy to fix.

E.

[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