# HG changeset patch
# User wenzelm
# Date 1318695276 -7200
# Node ID cf6a5de94bfcf5879cfb4d61e9058014e0f81068
# Parent  22ff7e226946dc78f245c32e93359e7f9151308b
updated to Scala 2.8.2.final;

diff -r 22ff7e226946 -r cf6a5de94bfc src/Tools/jEdit/README_BUILD
--- a/src/Tools/jEdit/README_BUILD	Sat Oct 15 17:00:17 2011 +0200
+++ b/src/Tools/jEdit/README_BUILD	Sat Oct 15 18:14:36 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 Compiler 2.8.1.final
+* Scala 2.8.2.final
   http://www.scala-lang.org
 
 * Auxiliary jedit_build component