diff options
| author | David Aspinall | 2000-06-01 14:45:12 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-06-01 14:45:12 +0000 |
| commit | efb8691cf74c39e3c00e41f250be0de1bfcadc5e (patch) | |
| tree | c6b97f493493565dc0d02ad024d0195eaf2347db /html | |
| parent | c4f4c0aa553d6973789af129cd208ea76882d3d1 (diff) | |
Added proof-comment-{start,end}-regexp.
Added proof-segment-up-to-{cmdstart,cmdend} and details of
which is selected.
Updated magic.
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions