improved contact info

amahboubi · amahboubi · commit 87522aa62e94 · 2019-07-03T17:15:02.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. 16:43 -->
+<!-- 2019-07-03 mer. 17:11 -->
 <meta  http-equiv="Content-Type" content="text/html;charset=utf-8" />
 <meta  name="generator" content="Org-mode" />
 <meta  name="author" content="assia" />
@@ -172,21 +172,23 @@ <h2 id="sec-1">About</h2>
 </div>
 </div>
 
+
 <div id="outline-container-sec-2" class="outline-2">
-<h2 id="sec-2">Getting the library</h2>
+<h2 id="sec-2">Get the library</h2>
 <div class="outline-text-2" id="text-2">
 <ul class="org-ul">
+<li><a href="installation.html">Here</a> are installation instructions.
+</li>
 <li>The current stable release of the Mathematical Components library
 can be <a href="https://github.com/math-comp/math-comp/releases">downloaded from github</a>.
 </li>
-<li>Older versions of the library are available in the <a href="http://ssr.msr-inria.inria.fr/FTP/%22">historic archive</a>.
-</li>
-<li><a href="installation.html">Installation instructions.</a>
+<li>Older versions are available in the <a href="http://ssr.msr-inria.inria.fr/FTP/%22">historic archive</a>.
 </li>
 </ul>
 </div>
 </div>
 
+
 <div id="outline-container-sec-3" class="outline-2">
 <h2 id="sec-3">Documentation</h2>
 <div class="outline-text-2" id="text-3">
@@ -217,30 +219,33 @@ <h3 id="sec-3-1">More material</h3>
 <ul class="org-ul">
 <li><a href="documentation.html">Books, lectures, videos, etc.</a>
 </li>
-<li><a href="papers.html">Research papers</a> using Mathematical Components.
+<li><a href="papers.html">Research papers</a> related to Mathematical Components. Your paper or
+thesis is not in the list? Send <a href="mailto:mathcomp-dev@inria.fr?subject=MathComp%20related%20paper">us</a> a message to correct this.
 </li>
 </ul>
 </div>
 </div>
 </div>
 
+
 <div id="outline-container-sec-4" class="outline-2">
-<h2 id="sec-4">Contact information</h2>
+<h2 id="sec-4">Help and contact</h2>
 <div class="outline-text-2" id="text-4">
 <ul class="org-ul">
-<li><a href="mailto:sympa@inria.fr?subject=SUBSCRIBE%20ssreflect">Subscribe to the Ssreflect mailing list</a> and let us know what you are
-using our libraries for, ask questions, etc.
+<li>Chat with us on <a href="https://gitter.im/math-comp">gitter</a>!
+</li>
+<li>Discuss with us on Coq's <a href="https://coq.discourse.group/">Discourse</a> forum!
 </li>
-<li>Browse the <a href="https://sympa.inria.fr/sympa/arc/ssreflect">archives of the list</a> or consult the
-<a href="https://sympa.inria.fr/sympa/info/ssreflect">general information page</a>.
+<li><a href="mailto:sympa@inria.fr?subject=SUBSCRIBE%20ssreflect">Subscribe</a> to the Ssreflect mailing list.
 </li>
-<li><a href="https://gitter.im/math-comp">Participate to gitter conversations</a>.
+<li>Browse the <a href="https://sympa.inria.fr/sympa/arc/ssreflect">archives</a> or consult the general <a href="https://sympa.inria.fr/sympa/info/ssreflect">information page</a> of the mailing list.
 </li>
 </ul>
 </div>
 </div>
 
 
+
 <div id="outline-container-sec-5" class="outline-2">
 <h2 id="sec-5">Authors and Contributors</h2>
 <div class="outline-text-2" id="text-5">
diff --git a/index.org b/index.org
@@ -27,12 +27,14 @@ Mathematical Components are libraries of formalized mathematics
 The library is written using the Ssreflect proof language, now part of
 the standard distribution of the Coq proof assistant.
 
-* Getting the library
 
+* Get the library
+
+- [[file:installation.html][Here]] are installation instructions.
 - The current stable release of the Mathematical Components library
   can be [[https://github.com/math-comp/math-comp/releases][downloaded from github]].
-- Older versions of the library are available in the [[http://ssr.msr-inria.inria.fr/FTP/"][historic archive]].
-- [[file:installation.html][Installation instructions.]]
+- Older versions are available in the [[http://ssr.msr-inria.inria.fr/FTP/"][historic archive]].
+
 
 * Documentation
 
@@ -50,15 +52,17 @@ the standard distribution of the Coq proof assistant.
 ** More material
 
 - [[file:documentation.html][Books, lectures, videos, etc.]]
-- [[file:papers.html][Research papers]] using Mathematical Components.
+- [[file:papers.html][Research papers]] related to Mathematical Components. Your paper or
+  thesis is not in the list? Send [[mailto:mathcomp-dev@inria.fr?subject=MathComp related paper][us]] a message to correct this.
+
  
-* Contact information
+* Help and contact
+
+- Chat with us on [[https://gitter.im/math-comp][gitter]]!
+- Discuss with us on Coq's [[https://coq.discourse.group/][Discourse]] forum!
+- [[mailto:sympa@inria.fr?subject=SUBSCRIBE%20ssreflect][Subscribe]] to the Ssreflect mailing list.
+- Browse the [[https://sympa.inria.fr/sympa/arc/ssreflect][archives]] or consult the general [[https://sympa.inria.fr/sympa/info/ssreflect][information page]] of the mailing list.
 
-- [[mailto:sympa@inria.fr?subject=SUBSCRIBE%20ssreflect][Subscribe to the Ssreflect mailing list]] and let us know what you are
-  using our libraries for, ask questions, etc.
--  Browse the [[https://sympa.inria.fr/sympa/arc/ssreflect][archives of the list]] or consult the
-    [[https://sympa.inria.fr/sympa/info/ssreflect][general information page]].
-- [[https://gitter.im/math-comp][Participate to gitter conversations]].
 
 
 * Authors and Contributors
