minor changes regarding regular expressions

1 files 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"