diff options
| author | David Aspinall | 1998-11-12 14:18:04 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-12 14:18:04 +0000 |
| commit | b1b5da4c00fc178e51ce908c5321b112d70ef923 (patch) | |
| tree | bfef936fb5e5e2c55c39acd818cd9ea030b3d2c7 | |
| parent | f2ca217783cf5088085cf0262642a312d44f0916 (diff) | |
Removed some Emacs jargon from features list.
| -rw-r--r-- | doc/NewDoc.texi | 3 |
1 files changed, 2 insertions, 1 deletions
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. |