# HG changeset patch
# User wenzelm
# Date 1269900701 -7200
# Node ID 8cc25cfd5325aaf85671073e37eba12af8a33913
# Parent  0614676f14d468b913cd1cfefe5812bbc43ae2f6
adapted to Netbeans 6.8 and Scala for Netbeans 6.8v1.1;

diff -r 0614676f14d4 -r 8cc25cfd5325 src/Tools/jEdit/README_BUILD
--- a/src/Tools/jEdit/README_BUILD	Mon Mar 29 22:55:57 2010 +0200
+++ b/src/Tools/jEdit/README_BUILD	Tue Mar 30 00:11:41 2010 +0200
@@ -5,10 +5,10 @@
 * Proper Java JRE/JDK from Sun, e.g. 1.6.0_18
   http://java.sun.com/javase/downloads/index.jsp
 
-* Netbeans 6.7.1
+* Netbeans 6.8
   http://www.netbeans.org/downloads/index.html
 
-* Scala for Netbeans: version 6.7v1 for NB 6.7
+* Scala for Netbeans: version 6.8v1.1
   http://sourceforge.net/project/showfiles.php?group_id=192439&package_id=256544
   http://blogtrader.net/dcaoyuan/category/NetBeans
   http://wiki.netbeans.org/Scala
@@ -19,6 +19,7 @@
   Netbeans Project "jEdit": install official sources as ./contrib/jEdit/.
 
 * jEdit plugins:
+  Netbeans Library "Console" = $HOME/.jedit/jars/Console.jar
   Netbeans Library "SideKick" = $HOME/.jedit/jars/SideKick.jar
   Netbeans Library "ErrorList" = $HOME/.jedit/jars/ErrorList.jar
   Netbeans Library "Hyperlinks" = $HOME/.jedit/jars/Hyperlinks.jar
diff -r 0614676f14d4 -r 8cc25cfd5325 src/Tools/jEdit/nbproject/project.properties
--- a/src/Tools/jEdit/nbproject/project.properties	Mon Mar 29 22:55:57 2010 +0200
+++ b/src/Tools/jEdit/nbproject/project.properties	Tue Mar 30 00:11:41 2010 +0200
@@ -75,3 +75,7 @@
     ${build.test.classes.dir}
 source.encoding=UTF-8
 src.dir=${file.reference.isabelle-jedit-src}
+scalac.compilerargs=
+scalac.deprecation=no
+scalac.unchecked=no
+