diff options
| author | David Aspinall | 1999-11-23 18:24:24 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-23 18:24:24 +0000 |
| commit | 650e213721a2b8212383a53b4f3b0cc665ea53c6 (patch) | |
| tree | c51463459eef5066141e55252d838c5e968483de /generic/proof-script.el | |
| parent | 79a0e67cdc9d3783d2a89a1108a8153c0b912a44 (diff) | |
Clarify formats available.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions