coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- 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.