Mercurial Mercurial > repos > isabelle / comparison
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/Tools/jEdit/README_BUILD
changeset 42898 978b7ea3e3ee
parent 42721 dfeec3aaae9d
child 43281 8d8b6ed0588c
equal deleted inserted replaced
42897:6bc8a6dcb3e0 42898:978b7ea3e3ee 
     1 
     1 
     2 Requirements to build from sources
 
     2 Requirements to build from sources
 
     3 ==================================
 
     3 ==================================
 
     4 
     4 
     5 * Proper Java JRE/JDK from Sun, e.g. 1.6.0_24
 
     5 * Proper Java JRE/JDK from Sun, e.g. 1.6.0_24 or 1.6.0_25
 
     6   http://java.sun.com/javase/downloads/index.jsp
 
     6   http://java.sun.com/javase/downloads/index.jsp
 
     7 
     7 
     8 * Netbeans 6.9
 
     8 * Netbeans 6.9
 
     9   http://www.netbeans.org/downloads/index.html
 
     9   http://www.netbeans.org/downloads/index.html
 
    10 
    10
isabelle