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.
updated version information;
authorwenzelm
Sun, 07 Aug 2011 23:05:50 +0200
changeset 44043 63c158415dbb
parent 44042 2ff2a54d0fb5
child 44044 919e2bde7202
updated version information;
src/Tools/jEdit/README_BUILD file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/README_BUILD	Sun Aug 07 18:38:36 2011 +0200
+++ b/src/Tools/jEdit/README_BUILD	Sun Aug 07 23:05:50 2011 +0200
@@ -1,7 +1,7 @@
 Requirements for instantaneous build from sources
 =================================================
 
-* Proper Java JDK from Sun/Oracle/Apple, e.g. 1.6.0_24 or 1.6.0_25
+* Official Java JDK from Sun/Oracle/Apple, e.g. 1.6.0_26
   http://java.sun.com/javase/downloads/index.jsp
 
 * Scala Compiler 2.8.1.final
isabelle