diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-09-14 07:41:53 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-14 07:41:53 +0000 |
commit | 7c5aa0659de5cd9cfc4e7790161a547c0d0a8ee2 (patch) | |
tree | 2eb02b8b3c97303392aa6d83248a4cb147eadea9 /isar/isar-syntax.el | |
parent | f44ce412cdf7c14ab1f0e0092fc0bc1243346f7f (diff) |
isar-outline-heading-alist: fix structure
Diffstat (limited to 'isar/isar-syntax.el')
-rw-r--r-- | isar/isar-syntax.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el index 8db7ae33..6e258ede 100644 --- a/isar/isar-syntax.el +++ b/isar/isar-syntax.el @@ -123,6 +123,7 @@ This list is in the right format for proof-easy-config.") (defconst isar-outline-heading-alist (list + (append (mapcar (lambda (w) (cons w 1)) (append isar-keywords-theory-heading isar-keywords-theory-begin @@ -134,7 +135,7 @@ 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-fume (append isar-keywords-theory-begin |