src/HOL/Tools/Nitpick/nitpick.ML
changeset 47759 af40c7e90c1e
parent 47752 0814fc93ab89
parent 47745 de249b5ae6e2
child 48323 7b5f7ca25d17
     1.1 --- a/src/HOL/Tools/Nitpick/nitpick.ML	Wed Apr 25 15:09:18 2012 +0200
     1.2 +++ b/src/HOL/Tools/Nitpick/nitpick.ML	Wed Apr 25 15:54:36 2012 +0200
     1.3 @@ -180,7 +180,7 @@
     1.4                 (length ts downto 1) ts))]
     1.5  
     1.6  fun install_java_message () =
     1.7 -  "Nitpick requires Java Development Kit 1.6/1.7 via ISABELLE_JDK_HOME setting."
     1.8 +  "Nitpick requires Java Development Kit 1.6 via ISABELLE_JDK_HOME setting."
     1.9  fun install_kodkodi_message () =
    1.10    "Nitpick requires the external Java program Kodkodi. To install it, download \
    1.11    \the package from \"http://www21.in.tum.de/~blanchet/#software\" and add the \