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 CVC4 component (and took out CVC3 from main components)
authorblanchet
Wed, 11 Feb 2015 14:48:07 +0100
changeset 59509 dd9a5c7663cb
parent 59508 49ca7836ae81
child 59510 b1c1f6f9a212
added CVC4 component (and took out CVC3 from main components)
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/components/main file | annotate | diff | comparison | revisions 
--- a/Admin/components/components.sha1	Wed Feb 11 14:48:06 2015 +0100
+++ b/Admin/components/components.sha1	Wed Feb 11 14:48:07 2015 +0100
@@ -1,5 +1,6 @@
 70105fd6fbfd1a868383fc510772b95234325d31  csdp-6.x.tar.gz
 2f6417b8e96a0e4e8354fe0f1a253c18fb55d9a7  cvc3-2.4.1.tar.gz
+03aec2ec5757301c9df149f115d1f4f1d2cafd9e  cvc4-1.5pre.tar.gz
 842d9526f37b928cf9e22f141884365129990d63  cygwin-20130110.tar.gz
 cb3b0706d208f104b800267697204f6d82f7b48a  cygwin-20130114.tar.gz
 3b44cca04855016d5f8cfb5101b2e0579ab80197  cygwin-20130117.tar.gz
--- a/Admin/components/main	Wed Feb 11 14:48:06 2015 +0100
+++ b/Admin/components/main	Wed Feb 11 14:48:07 2015 +0100
@@ -1,6 +1,6 @@
 #main components for everyday use, without big impact on overall build time
-cvc3-2.4.1
 csdp-6.x
+cvc4-1.5pre
 e-1.8
 exec_process-1.0.3
 Haskabelle-2014
isabelle