--- 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.
--- 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\" \