[nongnu] elpa/proof-general c304d73e09 2/2: docs(README.md): Mention qrhl-tool

[ELPA Syncer]

branch: elpa/proof-general
commit c304d73e09daec54dd8f8cef90df10c0b3d2c2ef
Author: Erik Martin-Dorel <erik.martin-dorel@irit.fr>
Commit: Erik Martin-Dorel <erik.martin-dorel@irit.fr>

    docs(README.md): Mention qrhl-tool
---
 README.md | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index 2b19f472d3..796fbdb97f 100644
--- a/README.md
+++ b/README.md
@@ -76,8 +76,9 @@ Then, run <kbd>M-x package-refresh-contents RET</kbd> 
followed by
 <kbd>M-x package-install RET proof-general RET</kbd> to install and
 byte-compile `proof-general`.
 
-You can now open a Coq file (`.v`), an EasyCrypt file (`.ec`), or a
-PhoX file (`.phx`) to automatically load the corresponding major mode.
+You can now open a Coq file (`.v`), an EasyCrypt file (`.ec`), a
+qrhl-tool file (`.qrhl`), or a PhoX file (`.phx`) to automatically
+load the corresponding major mode.
 
 ### Using Git (manual compilation procedure)