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 versions;
authorwenzelm
Fri, 20 May 2011 23:59:46 +0200
changeset 42898 978b7ea3e3ee
parent 42897 6bc8a6dcb3e0
child 42899 108e815fdc8e
updated versions;
src/Tools/jEdit/README_BUILD file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/README_BUILD	Fri May 20 20:44:03 2011 +0200
+++ b/src/Tools/jEdit/README_BUILD	Fri May 20 23:59:46 2011 +0200
@@ -2,7 +2,7 @@
 Requirements to build from sources
 ==================================
 
-* Proper Java JRE/JDK from Sun, e.g. 1.6.0_24
+* Proper Java JRE/JDK from Sun, e.g. 1.6.0_24 or 1.6.0_25
   http://java.sun.com/javase/downloads/index.jsp
 
 * Netbeans 6.9
isabelle