# HG changeset patch
# User blanchet
# Date 1317030112 -7200
# Node ID 91d1a932fc18facfba69b122fe123fa95ee3186d
# Parent  01434214409182e0c66fbedeba0ccb48ab332365
require Java 1.6 in the Nitpick documentation -- technically 1.5 will also work with Kodkodi 1.2.16, but it won't work with Kodkodi 1.5.0

diff -r 014342144091 -r 91d1a932fc18 doc-src/Nitpick/nitpick.tex
--- a/doc-src/Nitpick/nitpick.tex	Mon Sep 26 11:41:52 2011 +0200
+++ b/doc-src/Nitpick/nitpick.tex	Mon Sep 26 11:41:52 2011 +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.5 virtual
+Nitpick requires the Kodkodi package for Isabelle as well as a Java 1.6 virtual
 machine called \texttt{java}. To run Nitpick, you must also make sure that the
 theory \textit{Nitpick} is imported---this is rarely a problem in practice
 since it is part of \textit{Main}.