diff options
| author | Makarius Wenzel | 1999-05-27 19:20:21 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 1999-05-27 19:20:21 +0000 |
| commit | b50aa5058c361ac72a293c70b4ee82e7cd608279 (patch) | |
| tree | 3f2116aa2bc32daee77ab26c5d4df06a05bc9c1f /plastic | |
| parent | e3ce30cd8eef2462babb9b641b9310b86af2e5c3 (diff) | |
improved proof-segment-up-to to support proof-string-start-regexp,
proof-string-end-regexp;
Diffstat (limited to 'plastic')
0 files changed, 0 insertions, 0 deletions