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>