[nongnu] elpa/proof-general d9cfe74845: docs: Improve MELPA doc (#642)

[ELPA Syncer]

branch: elpa/proof-general
commit d9cfe74845e1f77017406e3327e7502f17bab063
Author: Erik Martin-Dorel <erik.martin-dorel@irit.fr>
Commit: GitHub <noreply@github.com>

    docs: Improve MELPA doc (#642)
    
    Close ProofGeneral/PG#641
---
 proof-general.el | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/proof-general.el b/proof-general.el
index 3dc15fa031..fc9853f67e 100644
--- a/proof-general.el
+++ b/proof-general.el
@@ -1,4 +1,4 @@
-;;; proof-general.el --- PG init file for package.el and ELPA compatibility 
-*- lexical-binding: t; -*-
+;;; proof-general.el --- A generic Emacs interface for proof assistants -*- 
lexical-binding: t; -*-
 
 ;; This file is part of Proof General.
 
@@ -28,12 +28,11 @@
 ;; along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
 ;;; Commentary:
-;;
 ;; Proof General is a generic Emacs interface for proof assistants
 ;; (also known as interactive theorem provers).
 ;;
 ;; It is supplied ready to use for the proof assistants Coq,
-;; EasyCrypt, and PhoX.
+;; EasyCrypt, qrhl, and PhoX.
 ;;
 ;; See https://proofgeneral.github.io/ for installation instructions
 ;; and online documentation.  Or browse the accompanying info manual: