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