Authors of Emacs Proof General
Current Authors/Maintainers:
David Aspinall (all)
Paul Callaghan (plastic,lego)
Stefan Berghofer (isar)
Pierre Courtieu (coq)
Christoph Raffalli (phox)
Makarius Wenzel (isar)
Previous Authors:
Healfdene Goguen (coq, generic, doc)
Thomas Kleymann (lego, doc, generic)
Patrick Loiseleur (coq)
Dilip Sequeira (lego)
David von Oheimb (x-symbol)
Assistance also from:
Graham Dutton (web support)
Click
here
to go back to the front page.
Web pages by
David Aspinall
.
Contact
Proof General maintainer.
Last modified 12 November 2009.
