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 contributed components
authorboehmes
Wed, 23 Mar 2011 16:42:09 +0100
changeset 42076 195566127689
parent 42075 c8be98f12b1c
child 42077 96c50a4210a2
updated contributed components
Admin/contributed_components file | annotate | diff | comparison | revisions 
--- a/Admin/contributed_components	Wed Mar 23 15:33:17 2011 +0100
+++ b/Admin/contributed_components	Wed Mar 23 16:42:09 2011 +0100
@@ -5,4 +5,5 @@
 contrib/spass-3.7
 contrib/scala-2.8.1.final
 contrib/vampire-1.0
-contrib/z3-2.15
+contrib/yices-1.0.28
+contrib/z3-2.19
isabelle