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.
added Z3 4.3.0 as component (for use with 'smt2' method)
authorblanchet
Thu, 13 Mar 2014 15:54:41 +0100
changeset 56110 9c1a6dff3e86
parent 56109 1ba56358eba4
child 56111 5b76e1790c38
added Z3 4.3.0 as component (for use with 'smt2' method)
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/components/main file | annotate | diff | comparison | revisions 
--- a/Admin/components/components.sha1	Thu Mar 13 14:55:38 2014 +0100
+++ b/Admin/components/components.sha1	Thu Mar 13 15:54:41 2014 +0100
@@ -80,3 +80,4 @@
 3a8f77822278fe9250890e357248bc678d8fac95  z3-3.2-1.tar.gz
 12ae71acde43bd7bed1e005c43034b208c0cba4c  z3-3.2.tar.gz
 d94a716502c8503d63952bcb4d4176fac8b28704  z3-4.0.tar.gz
+86e721296c400ada440e4a9ce11b9e845eec9e25  z3-4.3.0.tar.gz
--- a/Admin/components/main	Thu Mar 13 14:55:38 2014 +0100
+++ b/Admin/components/main	Thu Mar 13 15:54:41 2014 +0100
@@ -11,5 +11,6 @@
 scala-2.10.3
 spass-3.8ds
 z3-3.2-1
+z3-4.3.0
 xz-java-1.2-1
-ProofGeneral-4.2-1
\ No newline at end of file
+ProofGeneral-4.2-1
isabelle