diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 2007-06-14 19:27:53 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 2007-06-14 19:27:53 +0000 |
| commit | 11cc06433b9c9ae8114c433e62b745b09dd9f0f5 (patch) | |
| tree | fcbfd1367dd40ba105eaf52c4695e4241dc535cd /isar | |
| parent | 82617ccd8c1586d86226a474a5885a6460d39bb3 (diff) | |
isar-improper-regexp: include "prems";
Cvs: ----------------------------------------------------------------------
Diffstat (limited to 'isar')
| -rw-r--r-- | isar/isar-syntax.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el index 59e781a6..0387534f 100644 --- a/isar/isar-syntax.el +++ b/isar/isar-syntax.el @@ -241,7 +241,7 @@ Group number 1 matches the identifier possibly with quotes; group number 2 matches contents of quotes for quoted identifiers.") (defconst isar-improper-regexp - "\\(\\<[A-Za-z][A-Za-z0-9'_]*_tac\\>\\|\\<goal[0-9]+\\>\\)" + "\\(\\<[A-Za-z][A-Za-z0-9'_]*_tac\\>\\|\\<goal[0-9]+\\>\\|\\<prems\\>\\)" "Regexp matching low-level features") (defconst isar-save-command-regexp |