--- a/src/Tools/jEdit/README_BUILD Tue Mar 13 23:33:35 2012 +0100
+++ b/src/Tools/jEdit/README_BUILD Tue Mar 13 23:45:34 2012 +0100
@@ -6,12 +6,11 @@
(experimental support for JDK/OpenJDK 1.7)
-* Scala 2.8.2.final http://www.scala-lang.org
-
- (experimental support for 2.9.1.final)
+* Scala 2.8.2.final or 2.9.1-1
+ http://www.scala-lang.org
* Auxiliary jedit_build component
- http://www4.in.tum.de/~wenzelm/test/jedit_build-20111217.tar.gz
+ http://www4.in.tum.de/~wenzelm/test/jedit_build-20120313.tar.gz
Important settings within Isabelle environment