diff options
| author | Makarius Wenzel | 1999-12-30 16:56:29 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 1999-12-30 16:56:29 +0000 |
| commit | 452b2694c3092ec4e65250d4123f5967e0cb6229 (patch) | |
| tree | 0600c050be5c394aa4666eab5442c3e5346b02b6 | |
| parent | dbee5bcf9f7794330e9ba76d4d419910a219b14b (diff) | |
fixed isar-keywords-local-goal-regexp;
| -rw-r--r-- | isar/isar-syntax.el | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el index f2e659d1..306b6b13 100644 --- a/isar/isar-syntax.el +++ b/isar/isar-syntax.el @@ -93,6 +93,10 @@ (append isar-keywords-proof-asm isar-keywords-proof-asm-goal)) +(defconst isar-keywords-local-goal + (append isar-keywords-proof-goal + isar-keywords-proof-asm-goal)) + (defconst isar-keywords-outline (append isar-keywords-theory-begin isar-keywords-theory-heading @@ -142,7 +146,7 @@ (proof-anchor-regexp (proof-ids-to-regexp isar-keywords-theory-goal))) (defconst isar-local-goal-command-regexp - (proof-anchor-regexp (proof-ids-to-regexp isar-keywords-proof-goal))) + (proof-anchor-regexp (proof-ids-to-regexp isar-keywords-local-goal))) (defconst isar-goal-with-hole-regexp (concat "\\(" (proof-ids-to-regexp isar-keywords-theory-goal) "\\)" isar-name-regexp ":") |