diff options
author | 1996-11-12 18:20:45 +0000 | |
---|---|---|
committer | 1996-11-12 18:20:45 +0000 | |
commit | 618504240a2430f899c684a2ed847b40ec3f89c6 (patch) | |
tree | 006057af6a52fb2c5f25e69269fc80dcc65b3fc7 /lego.el | |
parent | 545a4764041769b76bf6de421a20375c22c47f01 (diff) |
improved lego-outline-regexp
Diffstat (limited to 'lego.el')
-rw-r--r-- | lego.el | 13 |
1 files changed, 7 insertions, 6 deletions
@@ -4,7 +4,7 @@ ;; code. ;; Maintainer: LEGO Team <lego@dcs.ed.ac.uk> -;; Time-stamp: <10 Nov 96 tms /home/tms/elisp/lego.el> +;; Time-stamp: <12 Nov 96 tms /home/tms/elisp/lego.el> ;; Thanks to David Aspinall, Robert Boyer, Rod Burstall, ;; James McKinna, Mark Ruys, Martin Steffen, Perdita Stevens @@ -108,10 +108,11 @@ (defvar lego-goal-regexp "?[0-9]+ : ") -(defvar lego-outline-regexp - (ids-to-regexp - '("\\*" "Discharge" "Freeze" "Goal" "Module" "\\[" "Record" "Inductive" - "Unfreeze"))) +(defvar lego-outline-regexp + (concat "[[*]\\|" + (ids-to-regexp + '("Discharge" "Freeze" "Goal" "Module" "Record" "Inductive" + "Unfreeze")))) (defvar lego-outline-heading-end-regexp ";\\|\\*)") @@ -300,7 +301,7 @@ (list (concat "^ \\(" lego-id "\\) = ... :") 1 'font-lock-function-name-face) - (list (concat "^ \\(" lego-id "\\) : ") 1 + (list (concat "^ \\(" lego-id "\\) [:|] ") 1 'font-lock-declaration-name-face) (list (concat "\\<decl\\> \\(" lego-id "\\) [:|]") 1 |