[nongnu] elpa/proof-general 0ee2b75939 2/2: Merge pull request #663 from Matafou/qrhl-announce

[ELPA Syncer]

branch: elpa/proof-general
commit 0ee2b759391fbd5f82a5831c891aab1890aa2ea4
Merge: dcc590b268 95a6e31944
Author: Pierre Courtieu <Matafou@users.noreply.github.com>
Commit: GitHub <noreply@github.com>

    Merge pull request #663 from Matafou/qrhl-announce
    
    Adding QRHL-tool in the CHANGES file.
---
 CHANGES | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/CHANGES b/CHANGES
index 339bacc994..0c45024b8c 100644
--- a/CHANGES
+++ b/CHANGES
@@ -47,6 +47,14 @@ standard support.
     Similar to proof-action-list, but holding actions that need
     to go to the proof assistant at the next opportunity.
 
+** Qrhl-tool
+
+   Support for qrhl-tool theorem prover has been added by Dominique
+   Unruh.
+   References:
+   - Initial pull request: https://github.com/ProofGeneral/PG/pull/636
+   - Qrhl-tool web site: https://dominique-unruh.github.io/qrhl-tool
+
 ** EasyCrypt
 
    Support for EasyCrypt has been added.