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.
updates for Netbeans 6.5;
authorwenzelm
Wed, 19 Nov 2008 14:01:42 +0100
changeset 34377 426d7b9ea225
parent 34376 76435dd5183d
child 34378 797fb7089f4d
updates for Netbeans 6.5;
src/Tools/jEdit/README_BUILD file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/README_BUILD	Wed Nov 19 11:07:22 2008 +0100
+++ b/src/Tools/jEdit/README_BUILD	Wed Nov 19 14:01:42 2008 +0100
@@ -2,13 +2,14 @@
 Requirements to build from sources
 ==================================
 
-* Proper Java JRE/JDK from Sun
+* Proper Java JRE/JDK from Sun, e.g. 1.6.0_07
   http://java.sun.com/javase/downloads/index.jsp
 
-* Netbeans 6.5beta
-  http://download.netbeans.org/netbeans/6.5/beta/
+* Netbeans 6.5
+  http://www.netbeans.org/downloads/index.html
 
 * Scala for Netbeans
+  http://blogtrader.net/page/dcaoyuan/entry/new_scala_plugin_for_netbeans
   http://wiki.netbeans.org/Scala
   http://plugins.netbeans.org/PluginPortal/faces/PluginDetailPage.jsp?pluginid=11854
isabelle