README.html
changeset 13141 f4ed10eaaff8
parent 13016 c039b8ede204
child 14007 8c2b9750628f
     1.1 --- a/README.html	Mon May 13 09:02:13 2002 +0200
     1.2 +++ b/README.html	Mon May 13 10:40:59 2002 +0200
     1.3 @@ -88,7 +88,7 @@
     1.4  <p>
     1.5  
     1.6  Proof General may be used together with the Emacs
     1.7 -<a href="http://www.fmi.uni-passau.de/~wedler/x-symbol/">
     1.8 +<a href="http://x-symbol.sourceforge.net">
     1.9  X-Symbol package</a>, which provides a nice way to get proper
    1.10  mathematical symbols displayed on screen.
    1.11