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