members

amahboubi · amahboubi · commit af17af23ef6d · 2019-07-03T17:29:22.000+02:00
diff --git a/index.html b/index.html
@@ -4,7 +4,7 @@
 <html xmlns="http://www.w3.org/1999/xhtml" lang="en" xml:lang="en">
 <head>
 <title>Mathematical Components</title>
-<!-- 2019-07-03 mer. 17:11 -->
+<!-- 2019-07-03 mer. 17:29 -->
 <meta  http-equiv="Content-Type" content="text/html;charset=utf-8" />
 <meta  name="generator" content="Org-mode" />
 <meta  name="author" content="assia" />
@@ -247,11 +247,13 @@ <h2 id="sec-4">Help and contact</h2>
 
 
 <div id="outline-container-sec-5" class="outline-2">
-<h2 id="sec-5">Authors and Contributors</h2>
+<h2 id="sec-5">Authors and contributors</h2>
 <div class="outline-text-2" id="text-5">
 <p>
 The Mathematical Components library and the Ssreflect proof language
-were initially developed by the <a href="http://www.msr-inria.fr/projects/mathematical-components-2/">Mathematical Components team</a> at the <a href="http://www.msr-inria.fr/">Inria-Microsoft Research Joint Centre</a>.
+were initially developed by the <a href="http://www.msr-inria.fr/projects/mathematical-components-2/">Mathematical Components team</a> at the
+<a href="http://www.msr-inria.fr/">Inria-Microsoft Research Joint Centre</a>. Today, the list of members of
+the Mathematical Components organization is visible <a href="https://github.com/orgs/math-comp/people">here</a>.
 </p>
 </div>
 </div>
diff --git a/index.org b/index.org
@@ -65,7 +65,11 @@ the standard distribution of the Coq proof assistant.
 
 
 
-* Authors and Contributors
+* Authors and contributors
 
 The Mathematical Components library and the Ssreflect proof language
-were initially developed by the [[http://www.msr-inria.fr/projects/mathematical-components-2/][Mathematical Components team]] at the [[http://www.msr-inria.fr/][Inria-Microsoft Research Joint Centre]].
+were initially developed by the [[http://www.msr-inria.fr/projects/mathematical-components-2/][Mathematical Components team]] at the
+[[http://www.msr-inria.fr/][Inria-Microsoft Research Joint Centre]]. Today, the list of members of
+the Mathematical Components organization is visible [[https://github.com/orgs/math-comp/people][here]].
+
+
