diff options
| author |  Thomas Kleymann <da+pg-tms@inf.ed.ac.uk> | 1997-08-25 09:19:29 +0000 |
|---|---|---|
| committer | Thomas Kleymann <da+pg-tms@inf.ed.ac.uk> | 1997-08-25 09:19:29 +0000 |
| commit | 3ad5b68d86d94d77d3d9f93854da244f895c1c2e (patch) | |
| tree | b41d70bc23b3b0be723f880084b9bd0c1414e22d /lego.el | |
| parent | b938a9d0357607479402e8d753002def68457bc8 (diff) | |
minor change in font-lock pattern
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: <12 Dec 96 tms /home/tms/elisp/lego.el> +;; Time-stamp: <01 Mar 97 tms /home/tms/elisp/lego.el> ;; Thanks to David Aspinall, Robert Boyer, Rod Burstall, ;; James McKinna, Mark Ruys, Martin Steffen, Perdita Stevens @@ -290,7 +290,7 @@ ; Pi and Sigma binders (list (concat "[{<]\\s *\\(" lego-ids "\\)") 1 - 'font-lock-declaration-name-face) + 'font-lock-declaration-name-face t) ;; Kinds (cons (concat "\\<Prop\\>\\|\\<Type\\s *\\((" |