updated url;
authorwenzelm
Tue Sep 26 17:01:59 2000 +0200 (2000-09-26)
changeset 100788bb4b66cd6b5
parent 10077 0261aede52ca
child 10079 0d78784176f4
updated url;
src/Pure/Interface/proof_general.ML
     1.1 --- a/src/Pure/Interface/proof_general.ML	Tue Sep 26 17:01:31 2000 +0200
     1.2 +++ b/src/Pure/Interface/proof_general.ML	Tue Sep 26 17:01:59 2000 +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 -Configuration for Proof General (see http://www.dcs.ed.ac.uk/home/proofgen/).
     1.8 +Isabelle configuration for Proof General (see http://www.proofgeneral.org).
     1.9  *)
    1.10  
    1.11  signature PROOF_GENERAL =