# HG changeset patch
# User blanchet
# Date 1357918256 -3600
# Node ID fc4025435b517f2ae5ffaad7a9fa6473bc029789
# Parent  01c9a515ccdd246a5d7a8a89d6f23dbf1dca7a5e
updated messages

diff -r 01c9a515ccdd -r fc4025435b51 src/HOL/Tools/Nitpick/nitpick.ML
--- a/src/HOL/Tools/Nitpick/nitpick.ML	Fri Jan 11 16:30:56 2013 +0100
+++ b/src/HOL/Tools/Nitpick/nitpick.ML	Fri Jan 11 16:30:56 2013 +0100
@@ -186,17 +186,8 @@
 fun java_too_old_message () =
   "The Java version is too old. " ^ isabelle_wrong_message
 fun kodkodi_not_installed_message () =
-  "Nitpick requires the external Java program Kodkodi. To install it, download \
-  \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."
-fun kodkodi_too_old_message () =
-  "The installed Kodkodi version is too old. To install a newer version, \
-  \download 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."
+  "Nitpick requires the external Java program Kodkodi."
+fun kodkodi_too_old_message () = "The installed Kodkodi version is too old."
 val max_unsound_delay_ms = 200
 val max_unsound_delay_percent = 2