1.1 --- a/doc-src/TutorialI/preface.tex Mon Dec 15 16:38:25 2003 +0100
1.2 +++ b/doc-src/TutorialI/preface.tex Mon Dec 15 17:08:41 2003 +0100
1.3 @@ -50,7 +50,7 @@
1.4 Isabelle's \hfootref{http://isabelle.in.tum.de/}{web site} contains links to
1.5 the download area and to documentation and other information. Most Isabelle
1.6 sessions are now run from within David Aspinall's\index{Aspinall, David}
1.7 -wonderful user interface, \hfootref{http://www.proofgeneral.org/}{Proof
1.8 +wonderful user interface, \hfootref{http://proofgeneral.inf.ed.ac.uk/}{Proof
1.9 General}, even together with the
1.10 \hfootref{http://x-symbol.sourceforge.net}{X-Symbol} package for XEmacs. This
1.11 book says very little about Proof General, which has its own documentation.
2.1 --- a/doc-src/manual.bib Mon Dec 15 16:38:25 2003 +0100
2.2 +++ b/doc-src/manual.bib Mon Dec 15 17:08:41 2003 +0100
2.3 @@ -88,8 +88,9 @@
2.4 booktitle = {Theorem Proving in Higher Order Logics (TPHOLs)},
2.5 year = 2000,
2.6 note = {Unpublished work-in-progress paper,
2.7 - \url{http://www.proofgeneral.org/~da/drafts/eproof.ps.gz}}
2.8 + \url{http://homepages.inf.ed.ac.uk/da/papers/drafts/eproof.ps.gz}}
2.9 }
2.10 +
2.11 @InProceedings{Aspinall:TACAS:2000,
2.12 author = {David Aspinall},
2.13 title = {{P}roof {G}eneral: A Generic Tool for Proof Development},
2.14 @@ -105,13 +106,13 @@
2.15 @Misc{isamode,
2.16 author = {David Aspinall},
2.17 title = {Isamode --- {U}sing {I}sabelle with {E}macs},
2.18 - note = {\url{http://www.proofgeneral.org/~da/Isamode/}}
2.19 + note = {\url{http://homepages.inf.ed.ac.uk/da/Isamode/}}
2.20 }
2.21
2.22 @Misc{proofgeneral,
2.23 author = {David Aspinall},
2.24 title = {{P}roof {G}eneral},
2.25 - note = {\url{http://www.proofgeneral.org}}
2.26 + note = {\url{http://proofgeneral.inf.ed.ac.uk/}}
2.27 }
2.28
2.29 %B