diff options
| author |  Thomas Kleymann <da+pg-tms@inf.ed.ac.uk> | 1996-11-10 17:34:05 +0000 |
|---|---|---|
| committer | Thomas Kleymann <da+pg-tms@inf.ed.ac.uk> | 1996-11-10 17:34:05 +0000 |
| commit | 545a4764041769b76bf6de421a20375c22c47f01 (patch) | |
| tree | a265ec6200f00edfd202c8a9f14f2116409b0c96 /lego.el | |
| parent | 419dc708cd361050ca5d75725ac37f0a6a388ef3 (diff) | |
fix for incorrect lego-outline-regexp
Diffstat (limited to 'lego.el')
| -rw-r--r-- | lego.el | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -4,7 +4,7 @@ ;; code. ;; Maintainer: LEGO Team <lego@dcs.ed.ac.uk> -;; Time-stamp: <05 Nov 96 tms /home/tms/elisp/lego.el> +;; Time-stamp: <10 Nov 96 tms /home/tms/elisp/lego.el> ;; Thanks to David Aspinall, Robert Boyer, Rod Burstall, ;; James McKinna, Mark Ruys, Martin Steffen, Perdita Stevens @@ -110,7 +110,7 @@ (defvar lego-outline-regexp (ids-to-regexp - '("*" "Discharge" "Freeze" "Goal" "Module" "[" "Record" "Inductive" + '("\\*" "Discharge" "Freeze" "Goal" "Module" "\\[" "Record" "Inductive" "Unfreeze"))) (defvar lego-outline-heading-end-regexp ";\\|\\*)") |