blob: a597085f049c3b0653fcb21c16dc51b9a47e3b81 (
plain)
1
2
3
4
5
6
7
8
9
|
IMPORTANT NOTE: Please note that proofgeneral.org is no longer owned
by the Proof General project; please update your links to use the
new web address http://proofgeneral.inf.ed.ac.uk.
Report bugs, feedback, suggestions directly to me. It helps if you
use an appropriate "+"-extension to my mail address, e.g.
David Aspinall <da+pg-feedback@inf.ed.ac.uk>
|