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 csdp-6.x for proof method (sos csdp);
authorwenzelm
Mon, 22 Sep 2014 17:07:18 +0200
changeset 58420 00bf84d3f526
parent 58419 593917a7ad02
child 58421 37cbbd8eb460
added csdp-6.x for proof method (sos csdp);
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/components/main file | annotate | diff | comparison | revisions 
--- a/Admin/components/components.sha1	Mon Sep 22 16:28:24 2014 +0200
+++ b/Admin/components/components.sha1	Mon Sep 22 17:07:18 2014 +0200
@@ -1,3 +1,4 @@
+70105fd6fbfd1a868383fc510772b95234325d31  csdp-6.x.tar.gz
 2f6417b8e96a0e4e8354fe0f1a253c18fb55d9a7  cvc3-2.4.1.tar.gz
 842d9526f37b928cf9e22f141884365129990d63  cygwin-20130110.tar.gz
 cb3b0706d208f104b800267697204f6d82f7b48a  cygwin-20130114.tar.gz
--- a/Admin/components/main	Mon Sep 22 16:28:24 2014 +0200
+++ b/Admin/components/main	Mon Sep 22 17:07:18 2014 +0200
@@ -1,5 +1,6 @@
 #main components for everyday use, without big impact on overall build time
 cvc3-2.4.1
+csdp-6.x
 e-1.8
 exec_process-1.0.3
 Haskabelle-2014
isabelle