diff options
| author | David Aspinall | 1998-11-03 14:37:48 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-03 14:37:48 +0000 |
| commit | 5a271121d0bdd20f535b3038a9831fdcfde67b0e (patch) | |
| tree | bc275c7c18edd173ae23f2f7c4fa45c642f84f79 /doc/notes.txt | |
| parent | d36aa837d21c8323b1bbe4fcf4f34f9688122018 (diff) | |
Renamed a couple of menu functions in case of later making
proof-menu.el. Always call proof-toolbar-setup.
Diffstat (limited to 'doc/notes.txt')
0 files changed, 0 insertions, 0 deletions