From 7f416bad62c0a94a0ff2fbdb433d03f3d5366ad6 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Wed, 15 Jun 2016 18:52:24 +0200
Subject: ssrmatching: giving proper credits to the original author(s)

Following CeCILL-B 5.3.2, we are allowed to redistribute the
software under the same license of Coq as long as we credit.
---
 CREDITS | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'CREDITS')

diff --git a/CREDITS b/CREDITS
index ace4648dc7..c6848648ef 100644
--- a/CREDITS
+++ b/CREDITS
@@ -54,6 +54,9 @@ plugins/setoid_ring
   developed by Benjamin Grégoire (INRIA-Everest, 2005-2006),
   Assia Mahboubi, Laurent Théry (INRIA-Marelle, 2006)
   and Bruno Barras (INRIA LogiCal, 2005-2006),
+plugins/ssrmatching
+  developed by Georges Gonthier (Microsoft Research - Inria Joint Centre, 2007-2011),
+  and Enrico Tassi (Inria-Marelle, 2011-now)
 plugins/subtac
   developed by Matthieu Sozeau (LRI, 2005-2008)
 plugins/micromega
-- 
cgit v1.2.3