diff options
| author | David Aspinall | 2004-04-14 12:36:34 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-04-14 12:36:34 +0000 |
| commit | 0d857fea2f18d8bed4a4c87c960b59a382096211 (patch) | |
| tree | e7c07d0fb2069634c2a07b5f6f209509632f35af /generic/proof-script.el | |
| parent | 5221156284124973706bdd2d786c0e7b7114a5a6 (diff) | |
Add Index Menu and Speedbar menu entries; remove Function Menu.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions