diff options
| author | David Aspinall | 2004-04-14 10:12:01 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-04-14 10:12:01 +0000 |
| commit | 863fcb84cf6400012dd7b6f8ba9218884dc82a3b (patch) | |
| tree | 45ccb0622691d2e029b7e6feefc6cf6a93cf0f19 /generic/proof-script.el | |
| parent | f581948a57a33dd5f93181917f55ff6a484506e9 (diff) | |
Add imenu support.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions