diff options
| author | David Aspinall | 2012-08-16 14:20:10 +0000 |
|---|---|---|
| committer | David Aspinall | 2012-08-16 14:20:10 +0000 |
| commit | 8468c87b03343856b5bb25d86b436d4b52b98028 (patch) | |
| tree | eccce0057f3fa41289a7c14a73227dfdb1d1c924 /generic/proof-script.el | |
| parent | 2180fff17b244357998bd17e40743e2cf0e9d77d (diff) | |
Emacs 24 compatibility (ucs-insert -> insert-char)
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions