diff options
| author |  Thomas Kleymann <da+pg-tms@inf.ed.ac.uk> | 1996-11-29 16:01:11 +0000 |
|---|---|---|
| committer | Thomas Kleymann <da+pg-tms@inf.ed.ac.uk> | 1996-11-29 16:01:11 +0000 |
| commit | 4c246f678eedf3df4a906ceaeb93725553bf039a (patch) | |
| tree | 8e378c5310cab57099d7927b0556ee9a3c94f085 /lego.el | |
| parent | 7ade48b1dd5e16e2b4baee2b941efbf880da067e (diff) | |
o added logical macros as keywords
o removed keywords SaveFrozen and SaveUnfrozen
o fixed bug in lego-outline-regexp
Diffstat (limited to 'lego.el')
| -rw-r--r-- | lego.el | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -4,7 +4,7 @@ ;; code. ;; Maintainer: LEGO Team <lego@dcs.ed.ac.uk> -;; Time-stamp: <22 Nov 96 tms /home/tms/elisp/lego.el> +;; Time-stamp: <29 Nov 96 tms /home/tms/elisp/lego.el> ;; Thanks to David Aspinall, Robert Boyer, Rod Burstall, ;; James McKinna, Mark Ruys, Martin Steffen, Perdita Stevens @@ -117,7 +117,7 @@ (defvar lego-outline-regexp (ids-to-regexp - '("*" "Discharge" "Freeze" "Goal" "Module" "[" "Record" "Inductive" + '("*" "Discharge" "Freeze" "Goal" "Module" "\\[" "Record" "Inductive" "Unfreeze"))) (defvar lego-outline-heading-end-regexp ";\\|\\*)") @@ -131,11 +131,11 @@ (defvar lego-keywords-goal '("Goal")) (defvar lego-keywords-save - '("Save" "SaveFrozen" "SaveUnfrozen")) + '("Save")) (defvar lego-keywords (append lego-keywords-goal lego-keywords-save - '("allE" "allI" "andE" "andI" "Claim" + '("allE" "allI" "andE" "andI" "Assumption" "Claim" "Constructors" "Cut" "Discharge" "DischargeKeep" "Double" "echo" "ElimOver" "exE" "exI" "Expand" "ExpAll" "ExportState" "Equiv" "Fields" "Freeze" "From" "Hnf" "Immed" |