shorten list-up of pointers

math-comp · Nov 27, 2020 · b801751 · b801751
1 parent 0661480
commit b801751
Show file tree

Hide file tree

Showing 2 changed files with 35 additions and 45 deletions.
diff --git a/index.html b/index.html
diff --git a/index.org b/index.org
@@ -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.