shorten list-up of pointers

Author: affeldt-aist

index.html

@@ -52,15 +52,13 @@ software license agreement.
 
 - The source file of each library features a documentation header
   which describes the concepts and notations introduced in that library.
-  + For MathComp 1.12.0: 
-    * The [[file:htmldoc_1_12_0/libgraph.html][library graph]] can be browsed interactively.
-    * The [[file:htmldoc_1_12_0/index.html][coqdoc presentation]] of the source files can be browsed online.
-  + For MathComp 1.11.0: 
-    * The [[file:htmldoc_1_11_0/libgraph.html][library graph]] can be browsed interactively.
-    * The [[file:htmldoc_1_11_0/index.html][coqdoc presentation]] of the source files can be browsed online.
-  + For MathComp 1.10.0: 
-    * The [[file:htmldoc_1_10_0/libgraph.html][library graph]] can be browsed interactively.
-    * The [[file:htmldoc_1_10_0/index.html][coqdoc presentation]] of the source files can be browsed online.
+
+- The library graph can be explored interactively and the coqdoc
+  presentation of the source files can be browsed online:
+  + Version 1.12.0: [[file:htmldoc_1_12_0/libgraph.html][library graph]], [[file:htmldoc_1_12_0/index.html][coqdoc presentation]]
+  + Version 1.11.0: [[file:htmldoc_1_11_0/libgraph.html][library graph]], [[file:htmldoc_1_11_0/index.html][coqdoc presentation]]
+  + Version 1.10.0: [[file:htmldoc_1_10_0/libgraph.html][library graph]], [[file:htmldoc_1_10_0/index.html][coqdoc presentation]]
+
 - The Ssreflect language comes with a dedicated reference manual,
   as a [[https://coq.inria.fr/distrib/current/refman/proof-engine/ssreflect-proof-language.html][chapter]] of Coq's reference manual.