diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-04-14 10:12:01 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-04-14 10:12:01 +0000 |
| commit | 863fcb84cf6400012dd7b6f8ba9218884dc82a3b (patch) | |
| tree | 45ccb0622691d2e029b7e6feefc6cf6a93cf0f19 /etc/ProofGeneral.menu | |
| parent | f581948a57a33dd5f93181917f55ff6a484506e9 (diff) | |
Add imenu support.
Diffstat (limited to 'etc/ProofGeneral.menu')
0 files changed, 0 insertions, 0 deletions