blob: 325d6f9477531156baff68dce4141b86612a3aec (
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>
|