--- 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,