diff options
author | 1996-11-21 14:47:10 +0000 | |
---|---|---|
committer | 1996-11-21 14:47:10 +0000 | |
commit | a4907acf9d5b3e576997a4166f8ca08614bf2261 (patch) | |
tree | 23c8beb7912f01aea0b5568cb5e809ad76cbbed9 /lego.el | |
parent | 6e6920cc58908c104219a114f5280944938bf26f (diff) |
*** empty log message ***
Diffstat (limited to 'lego.el')
-rw-r--r-- | lego.el | 8 |
1 files changed, 5 insertions, 3 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: <20 Nov 96 tms /home/tms/elisp/lego.el> ;; Thanks to David Aspinall, Robert Boyer, Rod Burstall, ;; James McKinna, Mark Ruys, Martin Steffen, Perdita Stevens @@ -301,10 +301,12 @@ (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 + ; e.g., decl S1 S2 : prog sort + (list (concat "\\<decl\\> \\(" lego-id + "\\( " lego-id "\\)*\\) [:|] ") 1 'font-lock-declaration-name-face) (list (concat "^value = \\(" lego-id "\\)") 1 |