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