coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Suggestions for Proof General?

From: Clément Pit--Claudel <clement.pit AT gmail.com>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Suggestions for Proof General?
Date: Mon, 20 Jun 2016 11:05:44 -0400
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=clement.pit AT gmail.com; spf=SoftFail smtp.mailfrom=clement.pit AT gmail.com; spf=None smtp.helo=postmaster AT mout.kundenserver.de
Ironport-phdr: 9a23:wRWXzB/05Xvg9v9uRHKM819IXTAuvvDOBiVQ1KB91+8cTK2v8tzYMVDF4r011RmSDdSduq8P1LuempujcFJDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXsq3G/pQQfBg/4fVIsYL+lS8iD0o/ohqibwN76XUZhvHKFe7R8LRG7/036l/I9ps9cEJs30QbDuXBSeu5blitCLFOXmAvgtI/rpMYwu3cYh/V0/MlZFK7+Yq4QTLpCDT1gPXpmytfssEzoSYqK630AZV0Xjl8NKAzM8R33Wt+luS/3s+d7xG+CPNHeQrU9WDDk5KBuHky7wBwbPiI0pTmEwvd7i7hW9Uqs

On 2016-06-17 13:38, Paul A. Steckler wrote:
> On Fri, Jun 17, 2016 at 1:34 PM, Jonathan Leivent
> <jonikelee AT gmail.com>
> wrote:
>> On a different front: how about a version of that new colorized progress
>> bar
>> that CoqIDE has at the bottom?
>
> Others have asked for a progress indicator, too.

I already have this in my SerAPI-based prototype, actually :)
See https://people.csail.mit.edu/cpitcla/coq-progress-bar.png

Attachment: signature.asc
Description: OpenPGP digital signature

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