From 8dd3376e5d7179b8185ba55be1e66b19e65deaec Mon Sep 17 00:00:00 2001
From: herbelin
Date: Mon, 19 May 2008 20:13:59 +0000
Subject: MAJ crédits

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10948 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 CREDITS | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'CREDITS')

diff --git a/CREDITS b/CREDITS
index 6219ea8aa7..b3d563caff 100644
--- a/CREDITS
+++ b/CREDITS
@@ -69,6 +69,11 @@ contrib/xml
   developed by Claudio Sacerdoti (Univ. Bologna, 2000-2005) 
   as part of the HELM and MoWGLI projects; extension by Cezary Kaliszyk as
   part of the ProofWeb project (Radbout University at Nijmegen, 2008)
+contrib/micromega
+  developed by Frédéric Besson (IRISA/INRIA, 2006-2008), with some 
+  extensions by Evgeny Makarov (INRIA, 2007); sum-of-squares solver and 
+  interface to the csdp solver uses code from John Harrison (University
+  of Cambridge, 1998)
 parsing/search.ml
   mainly developed by Yves Bertot (INRIA-Lemme, 2000-2004)
 theories/ZArith
@@ -115,6 +120,7 @@ of the Coq Proof assistant during the indicated time :
   Hugo Herbelin (INRIA, 1996-now)
   Gérard Huet (INRIA, 1985-1997)
   Pierre Letouzey (LRI, 2000-2004 & PPS-Paris 7, 2005-now)
+  Evgeny Makarov (INRIA, 2007)
   Pascal Manoury (INRIA, 1993)
   Micaela Mayero (INRIA, 1997-2002)
   Claude Marché (INRIA 2003-2004 & LRI, 2004-now)
-- 
cgit v1.2.3