branch: elpa/proof-general
commit 0ee2b759391fbd5f82a5831c891aab1890aa2ea4
Merge: dcc590b268 95a6e31944
Author: Pierre Courtieu <mata...@users.noreply.github.com>
Commit: GitHub <nore...@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.
