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