diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 2005-09-01 14:18:07 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 2005-09-01 14:18:07 +0000 |
| commit | f1328797b3efbc1163e57ed02528fbf209089bc6 (patch) | |
| tree | d7591fa7ec2dfb0026540ac65e8510f8370911d1 /generic/proof.el | |
| parent | 93db85e34dae8006d1a0c6e5c5eea54d5ff2f12c (diff) | |
added proof-search-forward, proof-replace-regexp-in-string;
avoid (re-)search-forward, which does not observe proof-case-fold-search;
Diffstat (limited to 'generic/proof.el')
0 files changed, 0 insertions, 0 deletions