src/HOL/Tools/Nitpick/nitpick.ML
changeset 46243 4b1b43ab7c62
parent 46114 e6d33b200f42
child 47108 2a1953f0d20d
     1.1 --- a/src/HOL/Tools/Nitpick/nitpick.ML	Tue Jan 17 18:25:36 2012 +0100
     1.2 +++ b/src/HOL/Tools/Nitpick/nitpick.ML	Tue Jan 17 18:25:36 2012 +0100
     1.3 @@ -181,8 +181,8 @@
     1.4    "Nitpick requires a Java 1.5 virtual machine called \"java\"."
     1.5  fun install_kodkodi_message () =
     1.6    "Nitpick requires the external Java program Kodkodi. To install it, download \
     1.7 -  \the package from Isabelle's web page and add the \"kodkodi-x.y.z\" \
     1.8 -  \directory's full path to " ^
     1.9 +  \the package from \"http://www21.in.tum.de/~blanchet/#software\" and add the \
    1.10 +  \\"kodkodi-x.y.z\" directory's full path to " ^
    1.11    Path.print (Path.expand (Path.explode "$ISABELLE_HOME_USER/etc/components")) ^
    1.12    " on a line of its own."
    1.13