1.1 --- a/doc-src/manual.bib	Mon May 13 09:02:13 2002 +0200
     1.2 +++ b/doc-src/manual.bib	Mon May 13 10:40:59 2002 +0200
     1.3 @@ -1134,7 +1134,7 @@
     1.4  @Misc{x-symbol,
     1.5    author =	 {Christoph Wedler},
     1.6    title =	 {Emacs package ``{X-Symbol}''},
     1.7 -  note =	 {\url{http://www.fmi.uni-passau.de/~wedler/x-symbol/}}
     1.8 +  note =	 {\url{http://x-symbol.sourceforge.net}}
     1.9  }
    1.10  
    1.11  @manual{isabelle-sys,