diff options
| author | David Aspinall | 2001-08-16 14:57:23 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-08-16 14:57:23 +0000 |
| commit | aa667ea2b6e6d07a2a4dc728e98005202f1ccb43 (patch) | |
| tree | c4b9805119ba052ed009148e7ad76331a33259c8 /generic/proof-toolbar.el | |
| parent | c1e594fe80959eab7d8c9bd6dfa50a85f2961061 (diff) | |
Function name fixes, use idiom property in span for popup menu name.
Diffstat (limited to 'generic/proof-toolbar.el')
0 files changed, 0 insertions, 0 deletions