diff options
| author | David Aspinall | 1998-11-18 13:46:19 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-18 13:46:19 +0000 |
| commit | 2fc559b578674641940c037de958617b778e3026 (patch) | |
| tree | d191b70ad957e25cb34796bc1c7b11ef0e67383f /generic/proof-script.el | |
| parent | ffc00ac806f88de57030c3019615334e97602c10 (diff) | |
Added NewDoc temporaries
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions