diff options
| author | David Aspinall | 2000-05-11 14:25:05 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-11 14:25:05 +0000 |
| commit | 262c1439d9b626761d0be03a685dbf89a56828da (patch) | |
| tree | 14d4c407df28da7c564ec746a5533a73462a2e49 /html/projects | |
| parent | fc88176434943d97814fb1b071e57e8907d38957 (diff) | |
Use proof-deftoggle macro.
Comments about failure for ;;;###autoload cookie for define-derived-mode
Attempted fixes for C-x C-w, C-x C-v, revert-buffer.
Diffstat (limited to 'html/projects')
0 files changed, 0 insertions, 0 deletions