# HG changeset patch
# User wenzelm
# Date 969980519 -7200
# Node ID 8bb4b66cd6b5ee99d3a8fdf8265f2d1b5eb896cc
# Parent  0261aede52ca1271814bb71c077f7d174673ddff
updated url;

diff -r 0261aede52ca -r 8bb4b66cd6b5 src/Pure/Interface/proof_general.ML
--- a/src/Pure/Interface/proof_general.ML	Tue Sep 26 17:01:31 2000 +0200
+++ b/src/Pure/Interface/proof_general.ML	Tue Sep 26 17:01:59 2000 +0200
@@ -3,7 +3,7 @@
     Author:     Markus Wenzel, TU Muenchen
     License:    GPL (GNU GENERAL PUBLIC LICENSE)
 
-Configuration for Proof General (see http://www.dcs.ed.ac.uk/home/proofgen/).
+Isabelle configuration for Proof General (see http://www.proofgeneral.org).
 *)
 
 signature PROOF_GENERAL =