diff options
| author | David Aspinall | 1998-10-12 15:55:39 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-12 15:55:39 +0000 |
| commit | a9fd410a36676d296d81cc17e168e750749b24d3 (patch) | |
| tree | cc6810252a4f4f113221e8e1301d1de4112404a7 /etc/ProofGeneral.patch | |
| parent | ed1c99a83ed25319055d355079de1f84ed9d6d0a (diff) | |
Made toolbar functions interactive, needed by old XEmacs.
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions