From 05acfead84ac70b6e5162f3fa669129016fe4070 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 25 Aug 2004 21:50:35 +0000 Subject: More proofgeneral.org removals --- coq/BUGS | 2 +- etc/Mailman/options.html | 10 +++++----- x-symbol/man/x-symbol.texi | 4 ++-- 3 files changed, 8 insertions(+), 8 deletions(-) diff --git a/coq/BUGS b/coq/BUGS index 2cec29af..1cf1027b 100644 --- a/coq/BUGS +++ b/coq/BUGS @@ -19,4 +19,4 @@ rely too much on the etags mechanism. ** Surely others that aren't mentioned here... - Please report them to bugs@proofgeneral.org +Please report them to da+pg-bugs@inf.ed.ac.uk diff --git a/etc/Mailman/options.html b/etc/Mailman/options.html index 6f3ab613..48daa164 100644 --- a/etc/Mailman/options.html +++ b/etc/Mailman/options.html @@ -2,18 +2,18 @@ - + <MM-List-Name> Mailing List Options Page - + - + -Proof General Home +Proof General Home diff --git a/x-symbol/man/x-symbol.texi b/x-symbol/man/x-symbol.texi index b7e4a19b..9a8410cd 100644 --- a/x-symbol/man/x-symbol.texi +++ b/x-symbol/man/x-symbol.texi @@ -4508,7 +4508,7 @@ I know of the following package---please check its manual for details. @item @pindex ProofGeneral @cindex Isabelle Symbol -Package @uref{http://www.proofgeneral.org/,ProofGeneral} defines token +Package @uref{http://proofgeneral.inf.ed.ac.uk/,ProofGeneral} defines token language ``Isabelle symbol''. @end itemize @@ -6924,7 +6924,7 @@ to create the executables (type @kbd{M-x x-symbol-exec-create}). New functions used for interaction with Emacs package @code{comint}. This is necessary for new token language ``Isabelle symbol'', to be distributed with Emacs package -@uref{http://www.proofgeneral.org/,ProofGeneral}. +@uref{http://proofgeneral.inf.ed.ac.uk/,ProofGeneral}. @item New characters used for token languages ``@TeX{} macro'' and ``Isabelle -- cgit v1.2.3