From 00c337af2ea574baf01a26581b80aa1fd955e2f0 Mon Sep 17 00:00:00 2001 From: Thomas Kleymann Date: Fri, 30 Oct 1998 16:34:38 +0000 Subject: implemented new buffer model. The goals buffer is now exclusively reserved for goals. --- lego/lego-syntax.el | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'lego/lego-syntax.el') 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 ;; 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 -- cgit v1.2.3