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.
updated to Scala 2.8.2.final;
authorwenzelm
Sat, 15 Oct 2011 18:14:36 +0200
changeset 45150 cf6a5de94bfc
parent 45149 22ff7e226946
child 45151 2dd44cd8f963
updated to Scala 2.8.2.final;
src/Tools/jEdit/README_BUILD file | annotate | diff | comparison | revisions 
--- 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
isabelle