From f4e03f150202a64e476d5881470872a6ab4d8180 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 14 Sep 2000 16:14:49 +0000
Subject: Encourage use of demoisa-easy.el

---
 demoisa/demoisa-easy.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/demoisa/demoisa-easy.el b/demoisa/demoisa-easy.el
index 2a7e87c5..96f2ce7b 100644
--- a/demoisa/demoisa-easy.el
+++ b/demoisa/demoisa-easy.el
@@ -12,7 +12,7 @@
 ;;
 ;; This mechanism is in fact recommended for new instantiations of
 ;; Proof General since it follows a regular pattern, and we can more
-;; easily adapt the it in the future to new versions of Proof General.
+;; easily adapt it in the future to new versions of Proof General.
 ;; It is easy to augment with additional elisp functions and
 ;; other settings.
 ;;
-- 
cgit v1.2.3