From ec7dd674ea25dfd36c007bb863fed63ce8d31ff2 Mon Sep 17 00:00:00 2001
From: Jim Fehrle
Date: Sat, 1 Sep 2018 12:39:09 -0700
Subject: Rewrite "Flags, Options and Tables" section. Mark boolean-valued
 options with :flag: Adjust tactic and command names so parameters aren't
 shown in the index unless they're needed for disambiguation. Remove
 references to synchronous options. Revise doc for tables. Correct indentation
 for text below :flag:

---
 doc/sphinx/language/coq-library.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc/sphinx/language/coq-library.rst')

diff --git a/doc/sphinx/language/coq-library.rst b/doc/sphinx/language/coq-library.rst
index 320448d46e..85474a3e98 100644
--- a/doc/sphinx/language/coq-library.rst
+++ b/doc/sphinx/language/coq-library.rst
@@ -618,7 +618,7 @@ Finally, it gives the definition of the usual orderings ``le``,
 
 Properties of these relations are not initially known, but may be
 required by the user from modules ``Le`` and ``Lt``.  Finally,
-``Peano`` gives some lemmas allowing pattern-matching, and a double
+``Peano`` gives some lemmas allowing pattern matching, and a double
 induction principle.
 
 .. index::
-- 
cgit v1.2.3