# HG changeset patch
# User paulson
# Date 1071504521 -3600
# Node ID bcba1d67f8541e03309df42f71156008699621c0
# Parent  7f115e5c5de4d4d0a8a5039e788a658e93eb460c
updated references to the now-pornographic proofgeneral.org

diff -r 7f115e5c5de4 -r bcba1d67f854 doc-src/TutorialI/preface.tex
--- 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.
diff -r 7f115e5c5de4 -r bcba1d67f854 doc-src/manual.bib
--- 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