# HG changeset patch
# User nipkow
# Date 1081948191 -7200
# Node ID 0b60b2edce03db83059b3bea2b14d8d1a8017d2b
# Parent  c6dc17aab88ace26d0fff1d0455f67b14abe4e95
corrected PG url in comment

diff -r c6dc17aab88a -r 0b60b2edce03 src/Pure/proof_general.ML
--- a/src/Pure/proof_general.ML	Wed Apr 14 14:13:05 2004 +0200
+++ b/src/Pure/proof_general.ML	Wed Apr 14 15:09:51 2004 +0200
@@ -3,7 +3,7 @@
     Author:     Markus Wenzel, TU Muenchen
     License:    GPL (GNU GENERAL PUBLIC LICENSE)
 
-Isabelle configuration for Proof General (see http://www.proofgeneral.org).
+Isabelle configuration for Proof General (see http://proofgeneral.inf.ed.ac.uk).
 *)
 
 signature PROOF_GENERAL =