# HG changeset patch
# User wenzelm
# Date 970145262 -7200
# Node ID 6715b2ce44d4d3469cb62e31cd5daff0f3c7c87e
# Parent  1b63e30437ee54d56773a5655f62e39c2d30e9af
www.proofgeneral.org;

diff -r 1b63e30437ee -r 6715b2ce44d4 doc-src/manual.bib
--- a/doc-src/manual.bib	Thu Sep 28 14:42:21 2000 +0200
+++ b/doc-src/manual.bib	Thu Sep 28 14:47:42 2000 +0200
@@ -86,7 +86,7 @@
   booktitle = 	 {Theorem Proving in Higher Order Logics (TPHOLs)},
   year =	 2000,
   note =	 {Unpublished work-in-progress paper,
-                  \url{http://zermelo.dcs.ed.ac.uk/~da/drafts/eproof.ps.gz}}
+                  \url{http://www.proofgeneral.org/~da/drafts/eproof.ps.gz}}
 }
 @InProceedings{Aspinall:TACAS:2000,
   author = 	 {David Aspinall},
@@ -99,7 +99,7 @@
 @Misc{isamode,
   author =	 {David Aspinall},
   title =	 {Isamode --- {U}sing {I}sabelle with {E}macs},
-  note =	 {\url{http://zermelo.dcs.ed.ac.uk/~da/Isamode/}}
+  note =	 {\url{http://www.proofgeneral.org/~da/Isamode/}}
 }
 
 @Misc{proofgeneral,