diff options
| author | David Aspinall | 1999-09-28 14:30:08 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-09-28 14:30:08 +0000 |
| commit | a0c18b6daff19a09aca6dd4146b24dca27ce5c2e (patch) | |
| tree | 1c0a5247741b92d5d6d7933b95385b420dcc02af /generic/proof-script.el | |
| parent | 11235369444b285147447a112b1b1569b0f24ad1 (diff) | |
Longer menu names, allowed some toolbar items to be omitted from menu.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions