Skip to Content.
Sympa Menu

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

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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


Chronological Thread 
  • From: "Paul A. Steckler" <steck AT stecksoft.com>
  • To: coq-club <coq-club AT inria.fr>
  • Subject: Re: [Coq-Club] Suggestions for Proof General?
  • Date: Mon, 25 Jul 2016 11:14:58 -0400
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=stecksoft AT gmail.com; spf=Pass smtp.mailfrom=stecksoft AT gmail.com; spf=None smtp.helo=postmaster AT mail-vk0-f68.google.com
  • Ironport-phdr: 9a23:JC9PSh25CxhgJDDSsmDT+DRfVm0co7zxezQtwd8ZsegSLPad9pjvdHbS+e9qxAeQG96Ks7Qa0qGJ7ujJYi8p2d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL2PbrnD61zMOABK3bVMzfbWtXNCLxJvqn8mJuLTrKz1SgzS8Zb4gZD6Xli728vcsvI15N6wqwQHIqHYbM85fxGdvOE7B102kvpT4r9Zf9HFbvOtk/MpdW+2udKMhCLdcET4OMmYv5cStuwOVHiWV4X5JGF0fjx4AKk6N1w33VZT1vzGw/r5mxCSRPuXtUb0/Wi+l4bstQxjt3nRUfwUl+X3a35QjxJlQpwis8kRy

I've created a Trello board that collects the suggestions made in this
thread, in terse form:

https://trello.com/b/jASyI6PG/proof-general-improvement-suggestions

I've made no attempt to capture the detail of some of the original posts.

Some of these could be turned into issues on github, eventually. Right
now, my main concern is getting the newfangled PG in good shape.

-- Paul


  • Re: [Coq-Club] Suggestions for Proof General?, Paul A. Steckler, 07/25/2016

Archive powered by MHonArc 2.6.18.

Top of Page