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 scala;
authorwenzelm
Fri, 07 Jan 2011 20:42:25 +0100
changeset 41450 3a62f88d9650
parent 41449 7339f0e7c513
child 41451 892e67be8304
updated scala; removed jedit -- component needs to be build afresh from ISABELLE_HOME/src/Tools/jEdit;
Admin/contributed_components file | annotate | diff | comparison | revisions 
--- a/Admin/contributed_components	Fri Jan 07 18:32:19 2011 +0100
+++ b/Admin/contributed_components	Fri Jan 07 20:42:25 2011 +0100
@@ -1,9 +1,8 @@
 #contributed components
 contrib/cvc3-2.2
 contrib/e-1.2
-contrib/jedit-4.3.2
 contrib/kodkodi-1.2.16
 contrib/spass-3.7
-contrib/scala-2.8.0.RC5
+contrib/scala-2.8.1.final
 contrib/vampire-1.0
 contrib/z3-2.15
isabelle