diff options
| author | David Aspinall | 2009-09-21 13:16:12 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-21 13:16:12 +0000 |
| commit | 6793b01948ffed221062c1a3346f4b7cd19dcb4d (patch) | |
| tree | f5867fc7039ace38d81f4fcca8a632970cfe6444 /generic/proof-script.el | |
| parent | 768504deb41449808a6d73cc726390d32f3daf19 (diff) | |
Only distribute info file, not pdf
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions