diff options
| author | Makarius Wenzel | 2000-10-26 18:14:00 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2000-10-26 18:14:00 +0000 |
| commit | 028d8da63899286c4bf9c3aa83ce460d07996861 (patch) | |
| tree | 9125f5241a1ca26e8f61508fbb1909c3be300e51 /generic/proof-script.el | |
| parent | f533bf9cacbca9466ae28bbf8f1945a115f803a3 (diff) | |
font-lock support for antiquotations;
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions