diff options
| author | David Aspinall | 2010-09-21 11:05:58 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-09-21 11:05:58 +0000 |
| commit | 5bf9c024742e232774b3e4b5f74af29f38a46d4a (patch) | |
| tree | 73f904c7fcb1467316f929a9b8bc1adacd4240ac /acl2/root2.acl2 | |
| parent | 794644da7c1a2acd5d3348c4860e5e61ab363a1a (diff) | |
Adjust menu layout for Quick Options. Add Document Centred and Default convenience commands.
Diffstat (limited to 'acl2/root2.acl2')
0 files changed, 0 insertions, 0 deletions