Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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
authorblanchet
Mon, 26 Sep 2011 11:41:52 +0200
changeset 45084 91d1a932fc18
parent 45083 014342144091
child 45085 eb7a797ade0f
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
doc-src/Nitpick/nitpick.tex file | annotate | diff | comparison | revisions 
--- 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}.
isabelle