diff options
| author | David Aspinall | 1998-11-09 16:09:42 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-09 16:09:42 +0000 |
| commit | 0545d64c702eaa0ede2a84953e158939c5033300 (patch) | |
| tree | 3fcf55aed11887409a0c9b116bab6e2b3121cbbb /html | |
| parent | 43750f921ad8c1c21c7ca3dcd96d624957cfdc0c (diff) | |
Added proof-strict-read-only, probably a handy new user-option.
Side effect is that it's default value of nil for FSF Emacs avoids the
font lock problem with span-read-only for FSF Emacs.
XEmacs does not have the warning message implemented yet.
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions
