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 for release;
authorwenzelm
Sun, 18 Sep 2011 15:30:31 +0200
changeset 44972 7704b2fb02cc
parent 44971 8104eec1bf94
child 44973 dfe923d5308d
updated for release;
Admin/contributed_components file | annotate | diff | comparison | revisions 
--- a/Admin/contributed_components	Sun Sep 18 15:30:21 2011 +0200
+++ b/Admin/contributed_components	Sun Sep 18 15:30:31 2011 +0200
@@ -1,9 +1,9 @@
 #contributed components
 contrib/cvc3-2.2
-contrib/e-1.2
+contrib/e-1.4
 contrib/kodkodi-1.2.16
 contrib/spass-3.7
 contrib/scala-2.8.1.final
 contrib/vampire-1.0
 contrib/yices-1.0.28
-contrib/z3-2.19
+contrib/z3-3.1
isabelle