diff options
| author | David Aspinall | 2000-06-01 13:32:44 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-06-01 13:32:44 +0000 |
| commit | caf2fedfc3c66db508093a72170cd2aaf9e9fbae (patch) | |
| tree | 637699f27363d6aa87c93c257d56903476c5f631 /html/doc.phtml | |
| parent | 5a13fa48c410a7607b985c35aa7f92cf9be952c8 (diff) | |
Added proof-comment-start-regexp, proof-commend-end-regexp.
Mention proof-script-complete in docstring for proof-case-fold-search.
Diffstat (limited to 'html/doc.phtml')
0 files changed, 0 insertions, 0 deletions