diff options
| author | David Aspinall | 2010-08-15 22:56:44 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-08-15 22:56:44 +0000 |
| commit | d7e3d5613783150fc69ee02e87fab1fafdfd8b6a (patch) | |
| tree | 5b8b24539ddb098bbee7ed179060672617205fc2 /acl2/example.acl2 | |
| parent | 1f813ce63369aa520d38e3152a1013d1f97c7024 (diff) | |
Preliminary and experimental support for automatically sending commands.
Diffstat (limited to 'acl2/example.acl2')
0 files changed, 0 insertions, 0 deletions