diff options
| author | David Aspinall | 2004-08-25 21:50:35 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-08-25 21:50:35 +0000 |
| commit | 05acfead84ac70b6e5162f3fa669129016fe4070 (patch) | |
| tree | 7ec781edb0e006728caacd2be2d80d7e3fbeb25d | |
| parent | 5df993dd94744cd83f47ce79f2bb98f8964e4624 (diff) | |
More proofgeneral.org removals
| -rw-r--r-- | coq/BUGS | 2 | ||||
| -rw-r--r-- | etc/Mailman/options.html | 10 | ||||
| -rw-r--r-- | x-symbol/man/x-symbol.texi | 4 |
3 files changed, 8 insertions, 8 deletions
@@ -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 @@ <!-- $Id$ --> <html> <head> - <link rel="SHORTCUT ICON" href="http://www.proofgeneral.org/favicon.ico"> + <link rel="SHORTCUT ICON" href="http://proofgeneral.inf.ed.ac.uk/favicon.ico"> <title><MM-List-Name> Mailing List Options Page</title> - <meta name="author" content="David Aspinall <da@dcs.ed.ac.uk>"> + <meta name="author" content="David Aspinall <David.Aspinall@ed.ac.uk>"> <meta name="keywords" content="Isabelle, LEGO, Coq, Emacs, XEmacs, Interface, Theorem Prover, GUI, David Aspinall"> <meta name="description" content="Proof General is an Emacs based generic interface for theorem provers"> - <link href="http://www.proofgeneral.org/proofgen.css" rel="stylesheet" type="text/css"> + <link href="http://proofgeneral.inf.ed.ac.uk/proofgen.css" rel="stylesheet" type="text/css"> </head> <body bgcolor="#2D1D03" - background="http://www.proofgeneral.org/images/canvaswallpaper.jpg" + background="http://proofgeneral.inf.ed.ac.uk/images/canvaswallpaper.jpg" text="#FFFFFF" link="#FFD820" vlink="#FFD820" @@ -23,7 +23,7 @@ <tr> <td width="15%"> <a href=""> -<img src="http://www.proofgeneral.org/images/PG-small.jpg" align=top width=37 height=50 border=0 alt="Proof General Home"> +<img src="http://proofgeneral.inf.ed.ac.uk/images/PG-small.jpg" align=top width=37 height=50 border=0 alt="Proof General Home"> </a> </td> <td width="85%"> 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 |