branch: elpa/proof-general
commit b5e3589ac84698eb94eb005bd17cd35633788127
Author: Erik Martin-Dorel <erik.martin-do...@irit.fr>
Commit: Erik Martin-Dorel <erik.martin-do...@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:
