diff options
| author | Makarius Wenzel | 2000-02-09 10:00:18 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2000-02-09 10:00:18 +0000 |
| commit | 54181a1586d432bb3dafb5a0449420f61e65fbce (patch) | |
| tree | c4a53d59597ff381879ef41abd1e7fec41c57325 /doc | |
| parent | dae4844f4ee11d850ad6be8eef5dffb802189250 (diff) | |
added isar-keywords-qed-global, isar-global-save-command-regexp;
added isar-keywords-indent-reset;
tuned font-lock;
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions