diff options
| author | David Aspinall | 2003-04-25 11:34:42 +0000 |
|---|---|---|
| committer | David Aspinall | 2003-04-25 11:34:42 +0000 |
| commit | 1a2bd629e30c01afc61dd8a81903fff4623fa356 (patch) | |
| tree | 40c64797743b8015ad18f30d6e8f1a9cc6289e1b /generic/proof-script.el | |
| parent | bd706047b9bb7ac7de6d34fb769b0eafac88c4fa (diff) | |
Disable fontification of antiquotation because of buggy interaction with font-lock/XEmacs.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions