diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-09-14 08:06:10 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-14 08:06:10 +0000 |
commit | e93d2b0c411769fcb536612666b8ee6f8a0b28f2 (patch) | |
tree | 33f22bc2231ddb8444e32a945353078a1bbc760c /isar/isar-syntax.el | |
parent | 521c663d0bb433f442abf3dc2cb90f2af642f906 (diff) |
isar-outline-heading-alist: fix list format
Diffstat (limited to 'isar/isar-syntax.el')
-rw-r--r-- | isar/isar-syntax.el | 13 |
1 files changed, 5 insertions, 8 deletions
diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el index 6e258ede..35d8c8bc 100644 --- a/isar/isar-syntax.el +++ b/isar/isar-syntax.el @@ -122,8 +122,7 @@ This list is in the right format for proof-easy-config.") isar-keywords-qed-global)) (defconst isar-outline-heading-alist - (list - (append + (append (mapcar (lambda (w) (cons w 1)) (append isar-keywords-theory-heading isar-keywords-theory-begin @@ -135,7 +134,10 @@ This list is in the right format for proof-easy-config.") (append isar-keywords-proof-heading isar-keywords-theory-goal)) (mapcar (lambda (w) (cons w 4)) - isar-keywords-proof-block)))) + isar-keywords-proof-block))) + +(defconst isar-keywords-outline + (mapcar 'car isar-outline-heading-alist)) (defconst isar-keywords-fume (append isar-keywords-theory-begin @@ -565,11 +567,6 @@ matches contents of quotes for quoted identifiers.") ;; ----- outline mode -(defconst isar-keywords-outline - (apply 'append - (mapcar (lambda (l) (mapcar 'car l)) - isar-outline-heading-alist))) - (defconst isar-outline-regexp (concat "[ \t]*\\(?:" (isar-ids-to-regexp isar-keywords-outline) "\\)") "Outline regexp for Isabelle/Isar documents") |