diff options
| author | David Aspinall | 2000-09-23 14:33:50 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-09-23 14:33:50 +0000 |
| commit | 853b44252c597ff831d27e4552917990672a9288 (patch) | |
| tree | 3b2914cf0821ed82a538e2277641d998592616e8 /html/functions.php3 | |
| parent | f4e9448026a90c73e3bdb981ffac27c821071f42 (diff) | |
Call (proof-toolbar-setup) to add toolbar to goals and response buffer
Unify goals and response menus with script buffer menu
Diffstat (limited to 'html/functions.php3')
0 files changed, 0 insertions, 0 deletions