diff options
| author | David Aspinall | 2009-08-14 12:50:05 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-08-14 12:50:05 +0000 |
| commit | ab25d99ada5e00b5a91d1c04c594fe93f7ebc49f (patch) | |
| tree | 6b9495a4b2a7dbba8910a786658efe5a7b7469b3 /generic/proof-script.el | |
| parent | 86d27b50e103ac2cce25b9543e81d405ce061b9f (diff) | |
Rename proof-shell-process-output -> proof-shell-classify-output
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions