diff options
| author |  Thomas Kleymann <da+pg-tms@inf.ed.ac.uk> | 1998-10-30 16:34:38 +0000 |
|---|---|---|
| committer | Thomas Kleymann <da+pg-tms@inf.ed.ac.uk> | 1998-10-30 16:34:38 +0000 |
| commit | 00c337af2ea574baf01a26581b80aa1fd955e2f0 (patch) | |
| tree | bc522ddcd85ecae4f3db4fc007dc22b771d9591c /lego/lego-syntax.el | |
| parent | 4159c005b516ea482b6d0e5fc5e1d960348383c4 (diff) | |
implemented new buffer model. The goals buffer is now exclusively
reserved for goals.
Diffstat (limited to 'lego/lego-syntax.el')
| -rw-r--r-- | lego/lego-syntax.el | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/lego/lego-syntax.el b/lego/lego-syntax.el index 20b0a326..f3a8f767 100644 --- a/lego/lego-syntax.el +++ b/lego/lego-syntax.el @@ -1,6 +1,6 @@ -;; lego-fontlock.el Font lock expressions for LEGO -;; Copyright (C) 1994, 1995, 1996, 1997 LFCS Edinburgh. -;; Author: Healfdene Goguen, Thomas Kleymann and Dilip Sequeira +;; lego-syntax.el Syntax of LEGO +;; Copyright (C) 1994 - 1998 LFCS Edinburgh. +;; Author: Thomas Kleymann and Dilip Sequeira ;; Maintainer: LEGO Team <lego@dcs.ed.ac.uk> ;; Please let us know if you could maintain this package! ;; @@ -63,7 +63,7 @@ (list ; lambda binders - (list (lego-decl-defn-regexp "[:|]") 1 + (list (lego-decl-defn-regexp "[:|?]") 1 'proof-declaration-name-face) ; let binders |