src/HOL/Tools/Nitpick/nitpick.ML
changeset 50830 fc4025435b51
parent 50487 9486641e691b
child 52031 9a9238342963
     1.1 --- a/src/HOL/Tools/Nitpick/nitpick.ML	Fri Jan 11 16:30:56 2013 +0100
     1.2 +++ b/src/HOL/Tools/Nitpick/nitpick.ML	Fri Jan 11 16:30:56 2013 +0100
     1.3 @@ -186,17 +186,8 @@
     1.4  fun java_too_old_message () =
     1.5    "The Java version is too old. " ^ isabelle_wrong_message
     1.6  fun kodkodi_not_installed_message () =
     1.7 -  "Nitpick requires the external Java program Kodkodi. To install it, download \
     1.8 -  \the package from \"http://www21.in.tum.de/~blanchet/#software\" and add the \
     1.9 -  \\"kodkodi-x.y.z\" directory's full path to " ^
    1.10 -  Path.print (Path.expand (Path.explode "$ISABELLE_HOME_USER/etc/components")) ^
    1.11 -  " on a line of its own."
    1.12 -fun kodkodi_too_old_message () =
    1.13 -  "The installed Kodkodi version is too old. To install a newer version, \
    1.14 -  \download the package from \"http://www21.in.tum.de/~blanchet/#software\" \
    1.15 -  \and add the \"kodkodi-x.y.z\" directory's full path to " ^
    1.16 -  Path.print (Path.expand (Path.explode "$ISABELLE_HOME_USER/etc/components")) ^
    1.17 -  " on a line of its own."
    1.18 +  "Nitpick requires the external Java program Kodkodi."
    1.19 +fun kodkodi_too_old_message () = "The installed Kodkodi version is too old."
    1.20  val max_unsound_delay_ms = 200
    1.21  val max_unsound_delay_percent = 2
    1.22