diff options
| author | David Aspinall | 2000-09-28 09:14:38 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-09-28 09:14:38 +0000 |
| commit | f5b76a18babb6c6f0f4c4db33d60ac1d98a815f6 (patch) | |
| tree | e427edf04b852530bc9a0b2656981cbfdf0cef9b /generic/proof-script.el | |
| parent | 41ffd7a69ab0c181d6ad3c8866e24b4feebcde70 (diff) | |
Added proof-shell-strip-crs-from-input.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions