diff options
| author | Thomas Kleymann | 1998-05-22 09:37:12 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1998-05-22 09:37:12 +0000 |
| commit | 83767f123f6f01e5c87749aad86e62c173a0c9da (patch) | |
| tree | 3da46ef3fc4631fb1a3a09436b58f4ee46600b5e | |
| parent | 6029f34197264df1ec23a5516d3aee8aa6824bab (diff) | |
included "Invert" in `lego-keywords'
| -rw-r--r-- | lego-fontlock.el | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/lego-fontlock.el b/lego-fontlock.el index fb25826a..9b3ef66e 100644 --- a/lego-fontlock.el +++ b/lego-fontlock.el @@ -4,6 +4,9 @@ ;; Maintainer: LEGO Team <lego@dcs.ed.ac.uk> ;; $Log$ +;; Revision 1.4 1998/05/22 09:37:12 tms +;; included "Invert" in `lego-keywords' +;; ;; Revision 1.3 1997/11/26 14:11:29 tms ;; simplified code: ;; lego-goal-with-hole-regexp and lego-save-with-hole-regexp is now @@ -35,10 +38,10 @@ "Constructors" "Cut" "Discharge" "DischargeKeep" "Double" "echo" "ElimOver" "exE" "exI" "Expand" "ExpAll" "ExportState" "Equiv" "Fields" "Freeze" "From" "Hnf" "Immed" - "impE" "impI" "Import" "Induction" "Inductive" "Inversion" "Init" - "intros" "Intros" "Module" "Next" "NoReductions" "Normal" "notE" - "notI" "orE" "orIL" "orIR" "Parameters" "Qnify" "Qrepl" "Record" - "Refine" "Relation" "Theorems" "Unfreeze"))) + "impE" "impI" "Import" "Induction" "Inductive" "Inversion" + "Invert" "Init" "intros" "Intros" "Module" "Next" "NoReductions" + "Normal" "notE" "notI" "orE" "orIL" "orIR" "Parameters" "Qnify" + "Qrepl" "Record" "Refine" "Relation" "Theorems" "Unfreeze"))) (defvar lego-tacticals '("Then" "Else" "Try" "Repeat" "For")) |