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 version;
authorwenzelm
Tue, 09 Nov 2010 22:37:10 +0100
changeset 40451 b9beabec9540
parent 40450 8eab60e1baeb
child 40452 45e7c2889d2f
updated version;
src/Tools/jEdit/README_BUILD file | annotate | diff | comparison | revisions 
--- 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
isabelle