diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-10-12 15:29:08 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-10-12 15:29:08 +0000 |
| commit | 83bdadc87ab58aceb9cb66171b88a263243621c5 (patch) | |
| tree | ed5450236c2ff878e98c165cc5b4a723cd1960ca /generic/proof.el | |
| parent | 776d01db943c1cd29c87d5a20051b4495f649897 (diff) | |
Removed toolbar enablers. XEmacs isnt ready for them yet.
Diffstat (limited to 'generic/proof.el')
0 files changed, 0 insertions, 0 deletions