diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2007-12-14 01:22:54 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2007-12-14 01:22:54 +0000 |
| commit | 8fa863dea38eb6471bc99f05328b53430fd78f8d (patch) | |
| tree | a41ba5b314ecea0d0e64c0d60637c1ea11e71a6b /coq/coq-autotest.el | |
| parent | f6c0dfdb46ce8bacf4a55f60fa3bff935f5cc867 (diff) | |
Add eval-when
Diffstat (limited to 'coq/coq-autotest.el')
0 files changed, 0 insertions, 0 deletions