diff options
author | Makarius Wenzel <makarius@sketis.net> | 2001-01-10 19:27:29 +0000 |
---|---|---|
committer | Makarius Wenzel <makarius@sketis.net> | 2001-01-10 19:27:29 +0000 |
commit | a054106b5c0d6fed882fc6cfef55468205557277 (patch) | |
tree | acf416ed0c9098cb4912d6c7a115d33cf3979f17 /generic/pg-xml.el | |
parent | 67d3451a758210d23f35cac79f897e06abd44a96 (diff) |
proper font-lock of isar-keywords-proof-heading;
Diffstat (limited to 'generic/pg-xml.el')
0 files changed, 0 insertions, 0 deletions