1.1 --- a/src/Tools/jEdit/README_BUILD	Sat Mar 17 17:36:10 2012 +0100
     1.2 +++ b/src/Tools/jEdit/README_BUILD	Sat Mar 17 17:44:29 2012 +0100
     1.3 @@ -9,6 +9,8 @@
     1.4  * Scala 2.8.2.final or 2.9.1-1
     1.5    http://www.scala-lang.org
     1.6  
     1.7 +  (experimental support for Scala 2.10.x milestones)
     1.8 +
     1.9  * Auxiliary jedit_build component
    1.10    http://www4.in.tum.de/~wenzelm/test/jedit_build-20120313.tar.gz
    1.11