1.1 --- a/doc-src/manual.bib	Mon Dec 15 16:38:25 2003 +0100
     1.2 +++ b/doc-src/manual.bib	Mon Dec 15 17:08:41 2003 +0100
     1.3 @@ -88,8 +88,9 @@
     1.4    booktitle = 	 {Theorem Proving in Higher Order Logics (TPHOLs)},
     1.5    year =	 2000,
     1.6    note =	 {Unpublished work-in-progress paper,
     1.7 -                  \url{http://www.proofgeneral.org/~da/drafts/eproof.ps.gz}}
     1.8 +                  \url{http://homepages.inf.ed.ac.uk/da/papers/drafts/eproof.ps.gz}}
     1.9  }
    1.10 +
    1.11  @InProceedings{Aspinall:TACAS:2000,
    1.12    author = 	 {David Aspinall},
    1.13    title = 	 {{P}roof {G}eneral: A Generic Tool for Proof Development},
    1.14 @@ -105,13 +106,13 @@
    1.15  @Misc{isamode,
    1.16    author =	 {David Aspinall},
    1.17    title =	 {Isamode --- {U}sing {I}sabelle with {E}macs},
    1.18 -  note =	 {\url{http://www.proofgeneral.org/~da/Isamode/}}
    1.19 +  note =	 {\url{http://homepages.inf.ed.ac.uk/da/Isamode/}}
    1.20  }
    1.21  
    1.22  @Misc{proofgeneral,
    1.23    author =	 {David Aspinall},
    1.24    title =	 {{P}roof {G}eneral},
    1.25 -  note =	 {\url{http://www.proofgeneral.org}}
    1.26 +  note =	 {\url{http://proofgeneral.inf.ed.ac.uk/}}
    1.27  }
    1.28  
    1.29  %B