diff options
| author | David Aspinall | 2006-05-26 13:18:16 +0000 |
|---|---|---|
| committer | David Aspinall | 2006-05-26 13:18:16 +0000 |
| commit | af8225688adffff67675ce362c1c933a863a9393 (patch) | |
| tree | f2d0b5920cf56b4c8f1750affedf67060dcc5062 /acl2/example.acl2 | |
| parent | c7827c3cf1dc85adc8bc06eb25f0fbd15f0a27ad (diff) | |
Detect EMACS setting.
Diffstat (limited to 'acl2/example.acl2')
0 files changed, 0 insertions, 0 deletions