coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Salut Enrico,

terminal is useful for debugging only. There are plenty of user
interfaces, graphical or textual, and even more are coming. And with a

Juste par curiosité, c'est quoi ce "even more are coming"?

--
Laurent

[Coq-Club] Show Script., Daniel de Rauglaudre, 03/03/2014
- Re: [Coq-Club] Show Script., Enrico Tassi, 03/03/2014
  - Re: [Coq-Club] Show Script., Laurent Théry, 03/03/2014
    - Re: [Coq-Club] Show Script., Enrico Tassi, 03/03/2014
  - Re: [Coq-Club] Show Script., Daniel de Rauglaudre, 03/03/2014
    - Re: [Coq-Club] Show Script., Enrico Tassi, 03/03/2014