diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-09-14 08:07:54 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-14 08:07:54 +0000 |
commit | 6f132150739f94aaa70d92cc378195426f977aa7 (patch) | |
tree | 16ff4a7e8602a85d65149ce98a80dd9febd7b6b0 /isar/isar-syntax.el | |
parent | e93d2b0c411769fcb536612666b8ee6f8a0b28f2 (diff) |
isar-outline-heading-alist: fix list format
Diffstat (limited to 'isar/isar-syntax.el')
-rw-r--r-- | isar/isar-syntax.el | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el index 35d8c8bc..7bd45aa9 100644 --- a/isar/isar-syntax.el +++ b/isar/isar-syntax.el @@ -121,7 +121,7 @@ This list is in the right format for proof-easy-config.") isar-keywords-proof-script isar-keywords-qed-global)) -(defconst isar-outline-heading-alist +(defconst isar-keyword-level-alist (append (mapcar (lambda (w) (cons w 1)) (append isar-keywords-theory-heading @@ -137,7 +137,7 @@ This list is in the right format for proof-easy-config.") isar-keywords-proof-block))) (defconst isar-keywords-outline - (mapcar 'car isar-outline-heading-alist)) + (mapcar 'car isar-keyword-level-alist)) (defconst isar-keywords-fume (append isar-keywords-theory-begin @@ -573,5 +573,7 @@ matches contents of quotes for quoted identifiers.") (defconst isar-outline-heading-end-regexp "\n") +(defconst isar-outline-heading-alist isar-keyword-level-alist) + (provide 'isar-syntax) |