corrected PG url in comment
authornipkow
Wed Apr 14 15:09:51 2004 +0200 (2004-04-14)
changeset 145660b60b2edce03
parent 14565 c6dc17aab88a
child 14567 03a827b7dbe8
corrected PG url in comment
src/Pure/proof_general.ML
     1.1 --- a/src/Pure/proof_general.ML	Wed Apr 14 14:13:05 2004 +0200
     1.2 +++ b/src/Pure/proof_general.ML	Wed Apr 14 15:09:51 2004 +0200
     1.3 @@ -3,7 +3,7 @@
     1.4      Author:     Markus Wenzel, TU Muenchen
     1.5      License:    GPL (GNU GENERAL PUBLIC LICENSE)
     1.6  
     1.7 -Isabelle configuration for Proof General (see http://www.proofgeneral.org).
     1.8 +Isabelle configuration for Proof General (see http://proofgeneral.inf.ed.ac.uk).
     1.9  *)
    1.10  
    1.11  signature PROOF_GENERAL =