diff options
| author | Makarius Wenzel | 2000-04-25 14:51:55 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2000-04-25 14:51:55 +0000 |
| commit | dd8f2cb8dc218bee4dc325aaa2bc270bffdd3076 (patch) | |
| tree | f278b9d86af99ec36951411a9ee0eb5f3e1cf567 /html | |
| parent | 632dc10e9b02543e1648ab6f35301316d427416f (diff) | |
isar-indent regexps moved to isar-syntax.el;
tuned comments;
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions