From 61f33b67ba63df3542e493a40a2d348323f2558b Mon Sep 17 00:00:00 2001 From: Thomas Kleymann Date: Tue, 15 Sep 1998 13:32:27 +0000 Subject: Reimplemented proof-shell-popup-eager-annotation These are no longer displayed in the *GOALS* buffer. --- lego/lego-syntax.el | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) (limited to 'lego/lego-syntax.el') diff --git a/lego/lego-syntax.el b/lego/lego-syntax.el index f9fb52d2..9d770a43 100644 --- a/lego/lego-syntax.el +++ b/lego/lego-syntax.el @@ -34,9 +34,8 @@ (defconst lego-tacticals '("Then" "Else" "Try" "Repeat" "For")) ;; ----- regular expressions for font-lock -(defvar lego-error-regexp "^\\(Error\\|Lego parser\\)" - "A regular expression indicating that the LEGO process has - identified an error.") +(defconst lego-error-regexp "^\\(Error\\|Lego parser\\)" + "A regular expression indicating that the LEGO process has identified an error.") (defvar lego-id proof-id) -- cgit v1.2.3