diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 2000-06-05 20:45:53 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 2000-06-05 20:45:53 +0000 |
| commit | 56b36e47cc1e07224e2a6c358e97c832c788dd63 (patch) | |
| tree | 2b9c49b204526f7dfa4d39f65e5ed57986942f59 /.cvsignore | |
| parent | fb0d8e52aec9e1d81852a148f5f5f80725353167 (diff) | |
proof-indent-commands-regexp: use proof-no-regexp;
isar-global-save-command-p: more robust wrt. empty prev span (malformed!?);
isar-preprocessing: fixed terminator regexp;
Diffstat (limited to '.cvsignore')
0 files changed, 0 insertions, 0 deletions