diff options
| author | Makarius Wenzel | 2000-06-04 20:01:41 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2000-06-04 20:01:41 +0000 |
| commit | fc86159b28db00a092f2588320dda655ab843ed3 (patch) | |
| tree | a209bfbed838f717a09bba06d62bdafe4defc2c0 /generic/proof-script.el | |
| parent | d53e2c48e6cf6284a4d87010efe41eac457b2b1f (diff) | |
proof-re-search-forward/backward: observe proof-case-fold-search;
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions