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