From bbe30f1552ef13bfeb8e2f814cf055c5e9b69808 Mon Sep 17 00:00:00 2001
From: fbesson
Date: Sun, 13 Jul 2008 17:47:07 +0000
Subject: update doc Micromega

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11223 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 doc/refman/csdp.cache | 13 +++++++++++++
 1 file changed, 13 insertions(+)

(limited to 'doc/refman/csdp.cache')

diff --git a/doc/refman/csdp.cache b/doc/refman/csdp.cache
index f63e9f498c..61082f7b8e 100644
--- a/doc/refman/csdp.cache
+++ b/doc/refman/csdp.cache
@@ -105,3 +105,16 @@ Infeasible
 2 2 1 1 5.509546873900648946e-09 
 2 3 1 1 6.807899670209652660e-09 
 *** END ***
+*** REQUEST ***
+""
+0
+1
+4
+0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1
+0 1 1 1 -0.10000000000000000000e1
+0 1 2 2 -0.20000000000000000000e1
+0 1 3 3 0.10000000000000000000e1
+0 1 4 4 0.20000000000000000000e1
+*** ANSWER ***
+Failure
+*** END ***
-- 
cgit v1.2.3