1.1 --- a/src/Tools/jEdit/README_BUILD	Tue Nov 09 21:52:05 2010 +0100
     1.2 +++ b/src/Tools/jEdit/README_BUILD	Tue Nov 09 22:37:10 2010 +0100
     1.3 @@ -31,7 +31,7 @@
     1.4  * Isabelle/Pure Scala components
     1.5    Netbeans Library "Isabelle-Pure" = ~~/lib/classes/Pure.jar
     1.6  
     1.7 -* Scala Compiler 2.8.0.final
     1.8 +* Scala Compiler 2.8.1.final
     1.9    http://www.scala-lang.org
    1.10    Netbeans Library "Scala-compiler" = $SCALA_HOME/lib/scala-compiler.jar
    1.11