# HG changeset patch
# User blanchet
# Date 1282122873 -7200
# Node ID ba8027440fb018b43a3781cb04260e428f2f4fd0
# Parent  307669429dc155d1eed9cbed2730da13e67c0f90
with Kodkodi 1.2.15, Java 1.5 is fine

diff -r 307669429dc1 -r ba8027440fb0 doc-src/Nitpick/nitpick.tex
--- a/doc-src/Nitpick/nitpick.tex	Wed Aug 18 10:42:04 2010 +0200
+++ b/doc-src/Nitpick/nitpick.tex	Wed Aug 18 11:14:33 2010 +0200
@@ -116,7 +116,7 @@
 C-n. This is equivalent to entering the \textbf{nitpick} command with no
 arguments in the theory text.
 
-Nitpick requires the Kodkodi package for Isabelle as well as a Java 1.6 virtual
+Nitpick requires the Kodkodi package for Isabelle as well as a Java 1.5 virtual
 machine called \texttt{java}. The examples presented in this manual can be found
 in Isabelle's \texttt{src/HOL/Nitpick\_Examples/Manual\_Nits.thy} theory.
 
diff -r 307669429dc1 -r ba8027440fb0 src/HOL/Tools/Nitpick/nitpick.ML
--- a/src/HOL/Tools/Nitpick/nitpick.ML	Wed Aug 18 10:42:04 2010 +0200
+++ b/src/HOL/Tools/Nitpick/nitpick.ML	Wed Aug 18 11:14:33 2010 +0200
@@ -158,7 +158,7 @@
                (length ts downto 1) ts))]
 
 fun install_java_message () =
-  "Nitpick requires a Java 1.6 virtual machine called \"java\"."
+  "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\" \