[nongnu] elpa/proof-general 95a6e31944 1/2: Adding QRHL-tool in the CHANGES file.

[ELPA Syncer]

branch: elpa/proof-general
commit 95a6e319449a3f04ee8fc15eb846ff5d5c544ace
Author: Pierre Courtieu <Pierre.Courtieu@cnam.fr>
Commit: Pierre Courtieu <Pierre.Courtieu@cnam.fr>

    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.