--- a/src/HOL/Tools/Nitpick/nitpick.ML Tue Jan 17 18:25:36 2012 +0100
+++ b/src/HOL/Tools/Nitpick/nitpick.ML Tue Jan 17 18:25:36 2012 +0100
@@ -181,8 +181,8 @@
"Nitpick requires a Java 1.5 virtual machine called \"java\"."
fun install_kodkodi_message () =
"Nitpick requires the external Java program Kodkodi. To install it, download \
- \the package from Isabelle's web page and add the \"kodkodi-x.y.z\" \
- \directory's full path to " ^
+ \the package from \"http://www21.in.tum.de/~blanchet/#software\" and add the \
+ \\"kodkodi-x.y.z\" directory's full path to " ^
Path.print (Path.expand (Path.explode "$ISABELLE_HOME_USER/etc/components")) ^
" on a line of its own."