From 83767f123f6f01e5c87749aad86e62c173a0c9da Mon Sep 17 00:00:00 2001 From: Thomas Kleymann Date: Fri, 22 May 1998 09:37:12 +0000 Subject: included "Invert" in `lego-keywords' --- lego-fontlock.el | 11 +++++++---- 1 file 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 ;; $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")) -- cgit v1.2.3