Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
experimental support for Scala 2.9.1.final;
authorwenzelm
Sat, 22 Oct 2011 19:22:13 +0200
changeset 45245 7f6c85421fa9
parent 45244 c149b61bc372
child 45247 d7f5338f0335
experimental support for Scala 2.9.1.final;
src/Tools/jEdit/README_BUILD file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/README_BUILD	Sat Oct 22 19:15:32 2011 +0200
+++ b/src/Tools/jEdit/README_BUILD	Sat Oct 22 19:22:13 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 2.8.2.final
+* Scala 2.8.2.final (experimental support for 2.9.1.final)
   http://www.scala-lang.org
 
 * Auxiliary jedit_build component
isabelle