diff options
-rw-r--r-- | etc/ProofGeneral.spec | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/ProofGeneral.spec b/etc/ProofGeneral.spec index fa7243b1..b89cb833 100644 --- a/etc/ProofGeneral.spec +++ b/etc/ProofGeneral.spec @@ -15,7 +15,7 @@ BuildArchitectures: noarch %description Proof General is a generic Emacs interface for proof assistants, -suitable for use by pacifists and Emacs lovers alike. +suitable for use by pacifists and Emacs militants alike. It is supplied ready-customized for LEGO, Coq, and Isabelle. You can adapt Proof General to other proof assistants if you know a little bit of Emacs Lisp. |