diff options
author | 2004-08-25 21:50:35 +0000 | |
---|---|---|
committer | 2004-08-25 21:50:35 +0000 | |
commit | 05acfead84ac70b6e5162f3fa669129016fe4070 (patch) | |
tree | 7ec781edb0e006728caacd2be2d80d7e3fbeb25d /x-symbol | |
parent | 5df993dd94744cd83f47ce79f2bb98f8964e4624 (diff) |
More proofgeneral.org removals
Diffstat (limited to 'x-symbol')
-rw-r--r-- | x-symbol/man/x-symbol.texi | 4 |
1 files changed, 2 insertions, 2 deletions
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 |