diff options
| author | David Aspinall | 1999-09-29 16:30:19 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-09-29 16:30:19 +0000 |
| commit | 78a6c0cd81ced101040d2dc77a20036e1138e067 (patch) | |
| tree | 2f3db7ea6af338294f4628f2044820646710d869 /BUGS | |
| parent | 03947fee8ab748686e2c2b5cdd3e30cc71b56efd (diff) | |
Grammar.
Diffstat (limited to 'BUGS')
| -rw-r--r-- | BUGS | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -22,7 +22,7 @@ it is apparent that the recognition of completed proofs is unreliable. Please report cases where the buttons are enabled/disabled at the wrong time. -* Ordinary undo in script buffer can edit the "uneditable region" +* Ordinary undo in the script buffer can edit the "uneditable region" in XEmacs. This doesn't happen in FSFmacs. Test case: Insert some nonsense text after the locked region. Kill the line. Process to the next command. |