# HG changeset patch
# User wenzelm
# Date 969980571 -7200
# Node ID 0d78784176f492c2861b1c59487356145c702866
# Parent  8bb4b66cd6b5ee99d3a8fdf8265f2d1b5eb896cc
www.proofgeneral.org;

diff -r 8bb4b66cd6b5 -r 0d78784176f4 README.html
--- a/README.html	Tue Sep 26 17:01:59 2000 +0200
+++ b/README.html	Tue Sep 26 17:02:51 2000 +0200
@@ -80,14 +80,14 @@
 <h2>User interface</h2>
 
 The canonical Isabelle user interface is <a
-href="http://www.dcs.ed.ac.uk/home/proofgen/">Proof General</a> by
-David Aspinall and others.  It is a generic (X)Emacs interface for
-proof assistants, including Isabelle (both for the classic and Isar
-version).  Proof General is suitable for use by pacifists and Emacs
-militants alike. Its most prominent feature is script management,
-providing a metaphor of <em>live proof script editing</em>.  Proof
-General has recently gained a rather large following of both beginning
-and expert users of Isabelle.
+href="http://www.proofgeneral.org">Proof General</a> by David Aspinall
+and others.  It is a generic (X)Emacs interface for proof assistants,
+including Isabelle (both for the classic and Isar version).  Proof
+General is suitable for use by pacifists and Emacs militants
+alike. Its most prominent feature is script management, providing a
+metaphor of <em>live proof script editing</em>.  Proof General has
+recently gained a rather large following of both beginning and expert
+users of Isabelle.
 
 <p>
 
diff -r 8bb4b66cd6b5 -r 0d78784176f4 doc-src/manual.bib
--- a/doc-src/manual.bib	Tue Sep 26 17:01:59 2000 +0200
+++ b/doc-src/manual.bib	Tue Sep 26 17:02:51 2000 +0200
@@ -99,13 +99,13 @@
 @Misc{isamode,
   author =	 {David Aspinall},
   title =	 {Isamode --- {U}sing {I}sabelle with {E}macs},
-  note =	 {\url{http://www.dcs.ed.ac.uk/home/da/Isamode/}}
+  note =	 {\url{http://zermelo.dcs.ed.ac.uk/~da/Isamode/}}
 }
 
 @Misc{proofgeneral,
   author =	 {David Aspinall and others},
   title =	 {{P}roof {G}eneral --- {O}rganize your proofs!},
-  note =	 {\url{http://www.dcs.ed.ac.uk/home/proofgen/}}
+  note =	 {\url{http://www.proofgeneral.org}}
 }
 
 %B