[nongnu] elpa/proof-general 1a71d6d390 4/5: Update CHANGES

[ELPA Syncer]

branch: elpa/proof-general
commit 1a71d6d390231aabaafa84538237f1c424e5caa2
Author: Pietro Monticone <38562595+pitmonticone@users.noreply.github.com>
Commit: hendriktews <hendrik@askra.de>

    Update CHANGES
---
 CHANGES | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/CHANGES b/CHANGES
index 49ae933c2f..3c5bcec8d1 100644
--- a/CHANGES
+++ b/CHANGES
@@ -44,7 +44,7 @@ standard support.
 *** add another (fallback) key-binding for proof-goto-point
     - The default key-binding for proof-goto-point (C-c <C-return>)
       was not available in TTYs. Now, this function can also be run
-      with "C-c RET", which happens to be automatically trigerred if
+      with "C-c RET", which happens to be automatically triggered if
       we type "C-c <C-return>" in a TTY.
 
 *** new proof-priority-action-list
@@ -376,7 +376,7 @@ standard support.
     | S n => ...
     end
     do this: (setq coq-match-indent 4) to get back the
-    previous indetation style:
+    previous indentation style:
     match n with
         O => ...
       | S n => ...