From b05d1239992196511ade00b47fa74fba4e2c9174 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Wed, 27 Jan 2021 09:39:32 +0100 Subject: [PATCH 1/2] MCB is done --- index.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/index.html b/index.html index 9a6b59a3..e112e6c9 100644 --- a/index.html +++ b/index.html @@ -307,8 +307,8 @@

Documentation

  • The Ssreflect language comes with a dedicated reference manual, as a chapter of Coq's reference manual.
    • -
  • A book is in progress, and introduces the techniques for writing -algorithms and proofs and describing the design ideas of the +
  • A book that introduces the techniques for writing +algorithms and proofs and describes the design ideas of the library.
    • From ded1cad4013f90e24a6f5ddcc2d1040100f3a988 Mon Sep 17 00:00:00 2001 From: Reynald Affeldt Date: Wed, 27 Jan 2021 23:10:30 +0900 Subject: [PATCH 2/2] sync org file --- index.html | 38 +++++++++++++++++++------------------- index.org | 4 ++-- 2 files changed, 21 insertions(+), 21 deletions(-) diff --git a/index.html b/index.html index e112e6c9..20699d5d 100644 --- a/index.html +++ b/index.html @@ -3,7 +3,7 @@ "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> - + Mathematical Components @@ -242,9 +242,9 @@

    Mathematical Components

    -
    -

    About

    -
    +
    +

    About

    +

    Welcome to Mathematical Components' web-page!

    @@ -270,9 +270,9 @@

    About

    -
    -

    Get the library

    -
    +
    +

    Get the library

    +
    • The last stable releases of the Mathematical Components library can be downloaded from github.
      • @@ -284,9 +284,9 @@

      Get the library

    -
    -

    Documentation

    -
    +
    +

    Documentation

    +
    Mathematical Components book @@ -313,9 +313,9 @@

    Documentation

    -
    -

    More material

    -
    +
    +

    More material

    +
    -
    -

    Help and contact

    -
    +
    +

    Help and contact

    +
    • Chat with us on Coq's Zulip!
    • Discuss with us on Coq's Discourse forum!
      • @@ -340,9 +340,9 @@

      Help and contact

    -
    -

    Authors and contributors

    -
    +
    +

    Authors and contributors

    +

    The Mathematical Components library and the Ssreflect proof language were initially developed by the Mathematical Components team at the diff --git a/index.org b/index.org index 2e1499cf..9b5bf39f 100644 --- 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