coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: "Paul A. Steckler" <steck AT stecksoft.com>
- To: Coqdev <coqdev AT inria.fr>, coq-club <coq-club AT inria.fr>
- Subject: [Coq-Club] Status info in Proof General-XML
- Date: Fri, 14 Oct 2016 12:12:06 -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-qt0-f170.google.com
- Ironport-phdr: 9a23:8RfOGxW5RgNREozctGj4wjs0EffV8LGtZVwlr6E/grcLSJyIuqrYZhWEt8tkgFKBZ4jH8fUM07OQ6PG6HzBeqsfd+DBaKdoXCE9D0Z1X1yUbQ+e7SmTDZMbwaCI7GMkQHHRExFqcdXZvJcDlelfJqWez5zNBUj/2NA5yO/inUtWK15f/hKiO/Mj4ZBxEiST1Nbh1NRm7sy3QsNMXiM1sMPB1ghDOuz5Df/lcjTdjIkvWlBLh7O+x+oRi+mJeoaRy2dRHVPCwR60lSfRxSnwdL20+58nmr1OLGRCT63Afen4KnxFLGA/L8FfxWZKn4XiyjfZ0xCTPZZ6+drszQzn3t6o=
I'd like to encourage more people to try out my fork of Proof General
that uses Coq's XML protocol, which is coming along nicely.
Recently, I added some status information to the UI. The Emacs header
line shows the current state of the script processing. You can click
on it to go to a particular point in the buffer. The mode line shows
percentages of statements being processed and those that have been
fully processed, as well as counts of incomplete Qeds and errors.
The code is available at:
https://github.com/psteckler/ProofGeneral/
in the "server-protocol" branch. Look at the file HOWTO-USE for instructions.
-- Paul
- [Coq-Club] Status info in Proof General-XML, Paul A. Steckler, 10/14/2016
Archive powered by MHonArc 2.6.18.