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