# HG changeset patch
# User wenzelm
# Date 1289338630 -3600
# Node ID b9beabec9540f1e654b39ede1cf61d15dddaacab
# Parent  8eab60e1baeba941415846bd0d8224b56560e361
updated version;

diff -r 8eab60e1baeb -r b9beabec9540 src/Tools/jEdit/README_BUILD
--- a/src/Tools/jEdit/README_BUILD	Tue Nov 09 21:52:05 2010 +0100
+++ b/src/Tools/jEdit/README_BUILD	Tue Nov 09 22:37:10 2010 +0100
@@ -31,7 +31,7 @@
 * Isabelle/Pure Scala components
   Netbeans Library "Isabelle-Pure" = ~~/lib/classes/Pure.jar
 
-* Scala Compiler 2.8.0.final
+* Scala Compiler 2.8.1.final
   http://www.scala-lang.org
   Netbeans Library "Scala-compiler" = $SCALA_HOME/lib/scala-compiler.jar