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 CVC4 component to deal with paths with whitespace
authorblanchet
Mon, 02 Nov 2015 17:04:11 +0100
changeset 61533 a63e3f2ef47b
parent 61532 e3984606b4b6
child 61535 4133c0875e7b
updated CVC4 component to deal with paths with whitespace
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/components/main file | annotate | diff | comparison | revisions 
--- a/Admin/components/components.sha1	Mon Nov 02 11:56:38 2015 +0100
+++ b/Admin/components/components.sha1	Mon Nov 02 17:04:11 2015 +0100
@@ -2,6 +2,7 @@
 2f6417b8e96a0e4e8354fe0f1a253c18fb55d9a7  cvc3-2.4.1.tar.gz
 a5e02b5e990da4275dc5d4480c3b72fc73160c28  cvc4-1.5pre-1.tar.gz
 4d9658fd2688ae8ac78da8fdfcbf85960f871b71  cvc4-1.5pre-2.tar.gz
+b01fdb93f2dc2b8bcfd41c6091d91b37d6e240f9  cvc4-1.5pre-3.tar.gz
 03aec2ec5757301c9df149f115d1f4f1d2cafd9e  cvc4-1.5pre.tar.gz
 842d9526f37b928cf9e22f141884365129990d63  cygwin-20130110.tar.gz
 cb3b0706d208f104b800267697204f6d82f7b48a  cygwin-20130114.tar.gz
--- a/Admin/components/main	Mon Nov 02 11:56:38 2015 +0100
+++ b/Admin/components/main	Mon Nov 02 17:04:11 2015 +0100
@@ -1,6 +1,6 @@
 #main components for everyday use, without big impact on overall build time
 csdp-6.x
-cvc4-1.5pre-2
+cvc4-1.5pre-3
 e-1.8
 exec_process-1.0.3
 Haskabelle-2015
isabelle