coq-club AT inria.fr

Subject: The Coq mailing list

List archive

From: Pierre Courtieu <pierre.courtieu AT gmail.com>
To: Coq Club <coq-club AT inria.fr>
Subject: Re: [Coq-Club] Suggestions for Proof General?
Date: Thu, 16 Jun 2016 00:39:50 +0200
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=pierre.courtieu AT gmail.com; spf=Pass smtp.mailfrom=pierre.courtieu AT gmail.com; spf=None smtp.helo=postmaster AT mail-lf0-f45.google.com
Ironport-phdr: 9a23:F/K/nxQW8P9OMAAF7bERpdWC0dpsv+yvbD5Q0YIujvd0So/mwa64YxON2/xhgRfzUJnB7Loc0qyN4/GmCTNLuc3JmUtBWaIPfidNsd8RkQ0kDZzNImzAB9muURYHGt9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3BPAZ4bt74BpTVx5zukbviqtuDPE4Q33KUWvBbElaflU3prM4YgI9veO4a6yDihT92QdlQ3n5iPlmJnhzxtY+a9Z9n9DlM6bp6r5YTGY2zRakzTKRZATI6KCh1oZSz7ViQBTeIs1AbSy09lgdCS1zO6wi/VZPsuAP7sPB80W+UJ5ulY6ozXGGa7qpxUhKgoyAaLSI4/Xyf3tRxgbhBrVSqoAFl34/ZfamaMfN/euXWetZMFjkJZdpYSyEUWtD0VIAIFedUeL8A94Q=

Supporting Ltac debug mode would be good.

2016-06-15 23:26 GMT+02:00 Clément Pit--Claudel <clement.pit AT gmail.com>:

ML4PG

[Coq-Club] Suggestions for Proof General?, Paul A. Steckler, 06/15/2016
- Re: [Coq-Club] Suggestions for Proof General?, Jonathan Leivent, 06/15/2016
  - Re: [Coq-Club] Suggestions for Proof General?, Clément Pit--Claudel, 06/15/2016
  - Re: [Coq-Club] Suggestions for Proof General?, Enrico Tassi, 06/17/2016
- Re: [Coq-Club] Suggestions for Proof General?, Clément Pit--Claudel, 06/15/2016
  - Re: [Coq-Club] Suggestions for Proof General?, Pierre Courtieu, 06/16/2016
    - Re: [Coq-Club] Suggestions for Proof General?, Jonathan Leivent, 06/16/2016
      - Re: [Coq-Club] Suggestions for Proof General?, Clément Pit--Claudel, 06/16/2016
      - Re: [Coq-Club] Suggestions for Proof General?, Pierre Courtieu, 06/16/2016
  - Re: [Coq-Club] Suggestions for Proof General?, Gabriel Scherer, 06/16/2016
    - Re: [Coq-Club] Suggestions for Proof General?, Clément Pit--Claudel, 06/16/2016
      - Re: [Coq-Club] Suggestions for Proof General?, James Wilcox, 06/16/2016
        
        Re: [Coq-Club] Suggestions for Proof General?, Nico, 06/17/2016
        
        Re: [Coq-Club] Suggestions for Proof General?, Alan Schmitt, 06/17/2016
        
        Re: [Coq-Club] Suggestions for Proof General?, Jason Gross, 06/17/2016
    - Re: [Coq-Club] Suggestions for Proof General?, Emilio Jesús Gallego Arias, 06/17/2016