diff options
| author | David Aspinall | 2004-04-13 22:20:03 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-04-13 22:20:03 +0000 |
| commit | 0fa55a1639c8fd44b04eb164797bfb5032efca53 (patch) | |
| tree | 6d976c2f409f2f842106df6f00d1b1b1b73f8072 /generic/proof-menu.el | |
| parent | ff736b2de3c19a06d5dc6aa678549cfbcef30a19 (diff) | |
Abstract out proof-end-of-locked-visible-p
Diffstat (limited to 'generic/proof-menu.el')
0 files changed, 0 insertions, 0 deletions