Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Tools/Nitpick/nitpick.ML
changeset 47759 af40c7e90c1e
parent 47752 0814fc93ab89
parent 47745 de249b5ae6e2
child 48323 7b5f7ca25d17 
--- a/src/HOL/Tools/Nitpick/nitpick.ML	Wed Apr 25 15:09:18 2012 +0200
+++ b/src/HOL/Tools/Nitpick/nitpick.ML	Wed Apr 25 15:54:36 2012 +0200
@@ -180,7 +180,7 @@
                (length ts downto 1) ts))]
 
 fun install_java_message () =
-  "Nitpick requires Java Development Kit 1.6/1.7 via ISABELLE_JDK_HOME setting."
+  "Nitpick requires Java Development Kit 1.6 via ISABELLE_JDK_HOME setting."
 fun install_kodkodi_message () =
   "Nitpick requires the external Java program Kodkodi. To install it, download \
   \the package from \"http://www21.in.tum.de/~blanchet/#software\" and add the \
isabelle