sync org file

math-comp · Jan 27, 2021 · ded1cad · ded1cad
1 parent b05d123
commit ded1cad
Show file tree

Hide file tree

Showing 2 changed files with 21 additions and 21 deletions.
diff --git a/index.html b/index.html
diff --git a/index.org b/index.org
@@ -62,8 +62,8 @@ software license agreement.
 - 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.
 
-- A [[https://math-comp.github.io/mcb/][book]] is in progress, and introduces the techniques for writing
-  algorithms and proofs and describing the design ideas of the
+- A [[https://math-comp.github.io/mcb/][book]] that introduces the techniques for writing
+  algorithms and proofs and describes the design ideas of the
   library.
 
 ** More material