--- a/doc-src/TutorialI/preface.tex Mon Dec 15 16:38:25 2003 +0100
+++ b/doc-src/TutorialI/preface.tex Mon Dec 15 17:08:41 2003 +0100
@@ -50,7 +50,7 @@
Isabelle's \hfootref{http://isabelle.in.tum.de/}{web site} contains links to
the download area and to documentation and other information. Most Isabelle
sessions are now run from within David Aspinall's\index{Aspinall, David}
-wonderful user interface, \hfootref{http://www.proofgeneral.org/}{Proof
+wonderful user interface, \hfootref{http://proofgeneral.inf.ed.ac.uk/}{Proof
General}, even together with the
\hfootref{http://x-symbol.sourceforge.net}{X-Symbol} package for XEmacs. This
book says very little about Proof General, which has its own documentation.
--- a/doc-src/manual.bib Mon Dec 15 16:38:25 2003 +0100
+++ b/doc-src/manual.bib Mon Dec 15 17:08:41 2003 +0100
@@ -88,8 +88,9 @@
booktitle = {Theorem Proving in Higher Order Logics (TPHOLs)},
year = 2000,
note = {Unpublished work-in-progress paper,
- \url{http://www.proofgeneral.org/~da/drafts/eproof.ps.gz}}
+ \url{http://homepages.inf.ed.ac.uk/da/papers/drafts/eproof.ps.gz}}
}
+
@InProceedings{Aspinall:TACAS:2000,
author = {David Aspinall},
title = {{P}roof {G}eneral: A Generic Tool for Proof Development},
@@ -105,13 +106,13 @@
@Misc{isamode,
author = {David Aspinall},
title = {Isamode --- {U}sing {I}sabelle with {E}macs},
- note = {\url{http://www.proofgeneral.org/~da/Isamode/}}
+ note = {\url{http://homepages.inf.ed.ac.uk/da/Isamode/}}
}
@Misc{proofgeneral,
author = {David Aspinall},
title = {{P}roof {G}eneral},
- note = {\url{http://www.proofgeneral.org}}
+ note = {\url{http://proofgeneral.inf.ed.ac.uk/}}
}
%B