From e4c830784eda8b63be51237568a61b5b266340de Mon Sep 17 00:00:00 2001
From: Thomas Kleymann
Date: Wed, 13 Nov 1996 17:45:58 +0000
Subject: minor changes regarding regular expressions

---
 lego.el | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/lego.el b/lego.el
index fc66c1e4..6b7c41da 100644
--- a/lego.el
+++ b/lego.el
@@ -112,7 +112,7 @@
 (defvar lego-outline-regexp
   (concat "[[*]\\|"
 	  (ids-to-regexp 
-	   '("Discharge" "DischargeKeep" "Freeze" "Goal" "Module" "Record" "Inductive"
+	   '("Discharge" "DischargeKeep" "Freeze" "$?Goal" "Module" "Record" "Inductive"
      "Unfreeze"))))
 
 (defvar lego-outline-heading-end-regexp ";\\|\\*)")
@@ -123,10 +123,10 @@
 ;; ----- keywords for font-lock. If you want to hack deeper, you'd better
 ;; ----- be fluent in regexps - it's in the YUK section.
 
-(defvar lego-keywords-goal '("Goal"))
+(defvar lego-keywords-goal '("$?Goal"))
 
 (defvar lego-keywords-save
-  '("Save" "SaveFrozen" "SaveUnfrozen"))
+  '("$?Save"))
 
 (defvar lego-keywords
   (append lego-keywords-goal lego-keywords-save '("andI" "Claim"
-- 
cgit v1.2.3