# HG changeset patch
# User blanchet
# Date 1326821136 -3600
# Node ID 4b1b43ab7c62ef0a9b49cb854411694991200dab
# Parent  99a2a541c125738f118ce1ea7a8991195d28e18a
updated message

diff -r 99a2a541c125 -r 4b1b43ab7c62 src/HOL/Tools/Nitpick/nitpick.ML
--- 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."