From b1b5da4c00fc178e51ce908c5321b112d70ef923 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 12 Nov 1998 14:18:04 +0000
Subject: Removed some Emacs jargon from features list.

---
 doc/NewDoc.texi | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/doc/NewDoc.texi b/doc/NewDoc.texi
index 1f49dee9..97648a39 100644
--- a/doc/NewDoc.texi
+++ b/doc/NewDoc.texi
@@ -332,7 +332,8 @@ For more details, see @pxref{Basic Script Management}
 and @pxref{Advanced Script Management}.
 @item @i{Script editing mode}@*
 Proof General provides useful facilities for editing proof scripts,
-including syntax hilighting and a menu to jump to particular goals.
+including syntax hilighting and a menu to jump to particular goals,
+definitions, or declarations.
 Special editing functions send lines of proof script to the proof
 assistant, or undo previous proof steps.
 
-- 
cgit v1.2.3