Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/contributed_components
changeset 44972 7704b2fb02cc
parent 42076 195566127689
child 46061 7a1af6666527 
--- 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