branch: elpa/proof-general
commit 2d3f422b0137aff5ea636925d3c70e6dce8f639a
Author: Dominique Unruh <[email protected]>
Commit: Dominique Unruh <[email protected]>
Mentioning qrhl-tool in README.md
---
README.md | 1 +
1 file changed, 1 insertion(+)
diff --git a/README.md b/README.md
index 26d66a2bb5..fce5f86a8a 100644
--- a/README.md
+++ b/README.md
@@ -132,6 +132,7 @@ Supported proof assistants:
* [Coq](https://coq.inria.fr/)
* [EasyCrypt](https://www.easycrypt.info/)
* [PhoX](https://raffalli.eu/phox/)
+* [qrhl-tool](https://github.com/dominique-unruh/qrhl-tool/#readme)
Proof General used to support other proof assistants, but those
instances are no longer maintained nor available in the MELPA package:
