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