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