From 315644b789cb7cf66c8915b6b4a76962ec63de24 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Wed, 25 Nov 1998 12:33:23 +0000
Subject: Emacs lovers become militant.

---
 etc/ProofGeneral.spec | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'etc/ProofGeneral.spec')

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.
-- 
cgit v1.2.3