diff options
| author | David Aspinall | 2008-01-29 09:18:29 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-01-29 09:18:29 +0000 |
| commit | 3318533c1be513df29398362fd253bcb97de2121 (patch) | |
| tree | 386cb5bb32e44b1eeb22387daefdd716f89884e8 /generic/proof-script.el | |
| parent | 81ed3f9df1865e952f963614caa8ea674e3a8de7 (diff) | |
Protect against improper initialisation errors.
Put CCL program inside x-symbol-mac-setup, called after xsymb1-right defined.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions