From f65abf7bebf70421c7cd990db2ab688542c6de0b Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sun, 8 Feb 2004 15:32:27 +0000 Subject: Update email and web addresses --- README | 15 +++++++++++++-- 1 file changed, 13 insertions(+), 2 deletions(-) (limited to 'README') diff --git a/README b/README index c67e0185..97b4186a 100644 --- a/README +++ b/README @@ -1,4 +1,15 @@ Proof General --- Organize your proofs! [proofgeneral.inf.ed.ac.uk] +==================================================================== + + 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 + ==================================================================== Proof General is a generic Emacs interface for proof assistants. @@ -49,8 +60,8 @@ not mentioned in any of these files to da+pg-bugs@inf.ed.ac.uk For the latest news and downloads, visit Proof General on the web at: http://proofgeneral.inf.ed.ac.uk -David Aspinall -March 2003. +David Aspinall +February 2004. ----- -- cgit v1.2.3