From 1d88962aaaa5f8977bb343b1d01073d65cbb1434 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Thu, 23 Jan 2020 09:45:01 +0100
Subject: More minor tweaks to the 8.11 changelog.

Co-Authored-By: Jim Fehrle <jim.fehrle@gmail.com>
---
 doc/sphinx/changes.rst | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/doc/sphinx/changes.rst b/doc/sphinx/changes.rst
index c30e90a1f3..6d9979a704 100644
--- a/doc/sphinx/changes.rst
+++ b/doc/sphinx/changes.rst
@@ -574,13 +574,13 @@ Changes in 8.11.0
   and `#11270 <https://github.com/coq/coq/issues/11270>`_, by Frédéric Besson).
 - **Deprecated:**
   The undocumented ``omega with`` tactic variant has been deprecated.
-  Using :tacn:`lia` is the recommended replacement, tho the old semantics
+  Using :tacn:`lia` is the recommended replacement, though the old semantics
   of ``omega with *`` can be recovered with ``zify; omega``
   (`#11337 <https://github.com/coq/coq/pull/11337>`_,
   by Emilio Jesus Gallego Arias).
 - **Fixed**
   For compatibility reasons, in 8.11, :tacn:`zify` does not support :g:`Z.pow_pos` by default.
-  It can be enabled by loading explicitly the module :g:`ZifyPow`
+  It can be enabled by explicitly loading the module :g:`ZifyPow`
   (`#11430 <https://github.com/coq/coq/pull/11430>`_ by Frédéric Besson
   fixes `#11191 <https://github.com/coq/coq/issues/11191>`_).
 
@@ -636,7 +636,7 @@ Changes in 8.11.0
 **Infrastructure and dependencies**
 
 - **Added:**
-  Build date can now be overriden by setting the `SOURCE_DATE_EPOCH`
+  Build date can now be overridden by setting the `SOURCE_DATE_EPOCH`
   environment variable
   (`#11227 <https://github.com/coq/coq/pull/11227>`_,
   by Bernhard M. Wiedemann).
-- 
cgit v1.2.3