diff options
| author | David Aspinall | 1999-09-22 16:22:25 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-09-22 16:22:25 +0000 |
| commit | de90805036ae2bf8e9ceff16d59e3ede1b2bedac (patch) | |
| tree | e01a4c8e97fe91bc818e72c51e431648c72efdf1 /isar | |
| parent | afd1be28ef533de10324df822a8fe43f8a9823c2 (diff) | |
Added find and help buttons. Find does nothing at the moment.
Added proof-toolbar-refresh to after-change-functions. Makes for
a flickery toolbar, unfortunately.
Diffstat (limited to 'isar')
0 files changed, 0 insertions, 0 deletions