diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-11-25 12:33:23 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-11-25 12:33:23 +0000 |
| commit | 315644b789cb7cf66c8915b6b4a76962ec63de24 (patch) | |
| tree | ef68bfb959d1403e7046c4e129b7b8a7e7668abe /etc/ProofGeneral.spec | |
| parent | 6b265a38770d103940a45189875c81b9de71b1cd (diff) | |
Emacs lovers become militant.
Diffstat (limited to 'etc/ProofGeneral.spec')
| -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. |