diff options
| author | Makarius Wenzel | 1999-07-27 19:48:21 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 1999-07-27 19:48:21 +0000 |
| commit | c5505f907e40ed446e305f9bbb15099c824315b3 (patch) | |
| tree | 0a973694b5a0c5bdfa3e9f484e399d563a1065d2 /html | |
| parent | d9ace008e48fd7218bb7abeab1d733581adfdf6e (diff) | |
isar-name-regexp: group result;
isar-init-syntax-table now in isar-syntax.el;
variations on undo now in isar-syntax.el;
added isar-remove;
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions