releases/ProofGeneral/plastic/README
Plastic Proof General
Written by Paul Callaghan
Status: under development together with Plastic
Maintainer: Paul Callaghan
Plastic version: ??
Plastic homepage:
http://www.dur.ac.uk/CARG/plastic.html
README,v 9.0 2008/01/30 15:22:22 da Exp
Click
here
to go back to the front page.
Web pages by
David Aspinall
.
Contact
Proof General maintainer.
Last modified 12 November 2009.
