diff options
| author | David Aspinall | 2000-03-22 13:06:35 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-03-22 13:06:35 +0000 |
| commit | 6f0a63109da29ff37da2cc4d212220b26f14ce00 (patch) | |
| tree | 09058bb76a76f65a3727947e526abf761062ed64 /generic/proof-script.el | |
| parent | 8c14c8e72ff6e093f0a35c56f8982ba2a3b2785c (diff) | |
Document use of %e in proof-shell-inform-file-{processed,retracted}-cmd.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions