[nongnu] elpa/proof-general b5e3589ac8 1/2: docs: Mention qrhl-tool

[ELPA Syncer]

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

    docs: Mention qrhl-tool
    
    href: https://dominique-unruh.github.io/qrhl-tool
    href: https://github.com/ProofGeneral/PG/pull/636
---
 doc/PG-adapting.texi  | 2 +-
 doc/ProofGeneral.texi | 4 ++--
 proof-general.el      | 2 +-
 3 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/doc/PG-adapting.texi b/doc/PG-adapting.texi
index 3093ff3577..26b04d972d 100644
--- a/doc/PG-adapting.texi
+++ b/doc/PG-adapting.texi
@@ -139,7 +139,7 @@ of @b{Proof General}, a generic Emacs interface for proof 
assistants.
 
 Proof General @value{version} has been tested with GNU Emacs
 @value{emacsversion}.  It is supplied ready customized for the proof
-assistants Coq, EasyCrypt, and PhoX.
+assistants Coq, EasyCrypt, qrhl-tool, and PhoX.
 
 This manual contains information for customizing to new proof
 assistants; see the user manual for details about how to use
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index bdcb0985d5..92cba3b161 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -158,8 +158,8 @@ This file documents version @value{version} of @b{Proof 
General}, a
 generic Emacs interface for proof assistants.
 
 Proof General @value{version} has been tested with GNU Emacs
-@value{emacsversion} on Linux.  It is supplied ready to use for the proof
-assistants Coq, EasyCrypt, and PhoX.
+@value{emacsversion} on Linux.  It is supplied ready to use for the
+proof assistants Coq, EasyCrypt, qrhl-tool, and PhoX.
 
 @menu
 * Preface::                     
diff --git a/proof-general.el b/proof-general.el
index 08a8508c02..06c62fe441 100644
--- a/proof-general.el
+++ b/proof-general.el
@@ -32,7 +32,7 @@
 ;; (also known as interactive theorem provers).
 ;;
 ;; It is supplied ready to use for the proof assistants Coq,
-;; EasyCrypt, qrhl, and PhoX.
+;; EasyCrypt, qrhl-tool, and PhoX.
 ;;
 ;; See https://proofgeneral.github.io/ for installation instructions
 ;; and online documentation.  Or browse the accompanying info manual: