diff options
| author | David Aspinall | 2004-04-14 10:33:51 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-04-14 10:33:51 +0000 |
| commit | acd15627e674868023435efda702bded80c835d9 (patch) | |
| tree | d54263bc377f1000c15e367d08bbbf7ca8e7ae49 /generic/proof-shell.el | |
| parent | 863fcb84cf6400012dd7b6f8ba9218884dc82a3b (diff) | |
Add proof-script-imenu-generic-expression for configuring imenu.
Diffstat (limited to 'generic/proof-shell.el')
0 files changed, 0 insertions, 0 deletions