diff options
| author |  Thomas Kleymann <da+pg-tms@inf.ed.ac.uk> | 1996-12-03 16:36:51 +0000 |
|---|---|---|
| committer | Thomas Kleymann <da+pg-tms@inf.ed.ac.uk> | 1996-12-03 16:36:51 +0000 |
| commit | 64fdd5b9b5a1e12c3f21bbb1a41e60fb39a726c3 (patch) | |
| tree | ace0324289bd31c39015ca1881e8b32b0473b123 /lego.el | |
| parent | 75e500f0accb6330846576bca8607a9ac8bfffa7 (diff) | |
minor extensions of regular expressions
Diffstat (limited to 'lego.el')
| -rw-r--r-- | lego.el | 15 |
1 files changed, 8 insertions, 7 deletions
@@ -4,7 +4,7 @@ ;; code. ;; Maintainer: LEGO Team <lego@dcs.ed.ac.uk> -;; Time-stamp: <29 Nov 96 tms /home/tms/elisp/lego.el> +;; Time-stamp: <03 Dec 96 tms /home/tms/elisp/lego.el> ;; Thanks to David Aspinall, Robert Boyer, Rod Burstall, ;; James McKinna, Mark Ruys, Martin Steffen, Perdita Stevens @@ -121,10 +121,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" "DischargeKeep" "Freeze" "$?Goal" "Module" "Record" "Inductive" + "Unfreeze")))) (defvar lego-outline-heading-end-regexp ";\\|\\*)") @@ -134,10 +135,10 @@ ;; ----- keywords for font-lock. If you want to hack deeper, you'd better ;; ----- be fluent in regexps - it's in the YUK section. -(defvar lego-keywords-goal '("Goal")) +(defvar lego-keywords-goal '("$?Goal")) (defvar lego-keywords-save - '("Save")) + '("$?Save")) (defvar lego-keywords (append lego-keywords-goal lego-keywords-save |