diff options
| author |  Enrico Tassi <Enrico.Tassi@inria.fr> | 2016-06-15 18:52:24 +0200 |
|---|---|---|
| committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2016-06-15 18:52:24 +0200 |
| commit | 7f416bad62c0a94a0ff2fbdb433d03f3d5366ad6 (patch) | |
| tree | 612093ae79ab1c13b4d89f1bc71998509f7a0a3b /CREDITS | |
| parent | 5c9cb7c8fdda5f0b21eb3b65b5e6e62fc47d6278 (diff) | |
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.
Diffstat (limited to 'CREDITS')
| -rw-r--r-- | CREDITS | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -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 |