diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2000-03-08 05:34:23 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2000-03-08 05:34:23 +0000 |
commit | 37d2b52528f077fcfe708f9b5dd77a1b4edac908 (patch) | |
tree | 81e492178a4271ee6292ebeaa411edd5a6b57615 /generic/proof.el | |
parent | 1c874544ecdc2d23c8a31fe322f1b7cc4e78185a (diff) |
Fix to uses of dolist for compatibility with Japan Emacs versions (older CLmacs)
Diffstat (limited to 'generic/proof.el')
0 files changed, 0 insertions, 0 deletions