src/Tools/jEdit/README_BUILD
changeset 45245 7f6c85421fa9
parent 45150 cf6a5de94bfc
child 45691 d1e716cc3b84
--- a/src/Tools/jEdit/README_BUILD	Sat Oct 22 19:15:32 2011 +0200
+++ b/src/Tools/jEdit/README_BUILD	Sat Oct 22 19:22:13 2011 +0200
@@ -4,7 +4,7 @@
 * Official Java JDK from Sun/Oracle/Apple, e.g. 1.6.0_27
   http://www.oracle.com/technetwork/java/javase/downloads/index.html
 
-* Scala 2.8.2.final
+* Scala 2.8.2.final (experimental support for 2.9.1.final)
   http://www.scala-lang.org
 
 * Auxiliary jedit_build component