RE: [x-symbol-devel] Please remove http://www.proofgeneral.org/ f rom x-symbol.texi
Adrian, thanks for reporting!
I've changed the link to <http://proofgeneral.inf.ed.ac.uk/> and
uploaded new web pages (including the manual). I'm quite sure that web
pages of the University of Edinburgh are safe from similar "subject
changes"....
- Christoph