diff options
author | Thomas Kleymann <da+pg-tms@inf.ed.ac.uk> | 1998-07-27 15:39:57 +0000 |
---|---|---|
committer | Thomas Kleymann <da+pg-tms@inf.ed.ac.uk> | 1998-07-27 15:39:57 +0000 |
commit | e1b55f8f678058f30fd22317b5215d539b836aa9 (patch) | |
tree | 4d8e3944e456c7fd155e57dc26e7b7611beb77c7 /lego-fontlock.el | |
parent | 90fa6289aff871fc53d646af37894b0ad658cd34 (diff) |
Supports official LEGO release 1.3
Diffstat (limited to 'lego-fontlock.el')
-rw-r--r-- | lego-fontlock.el | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/lego-fontlock.el b/lego-fontlock.el index 289d8328..437c4906 100644 --- a/lego-fontlock.el +++ b/lego-fontlock.el @@ -6,6 +6,9 @@ ;; should perhaps be called lego-syntax instead of lego-fontlock ;; $Log$ +;; Revision 1.6 1998/07/27 15:39:53 tms +;; Supports official LEGO release 1.3 +;; ;; Revision 1.5 1998/05/29 09:49:40 tms ;; o outsourced indentation to proof-indent ;; o support indentation of commands @@ -49,7 +52,7 @@ "ExportState" "Equiv" "For" "Freeze" "Hnf" "Immed" "impE" "impI" "Induction" "Inductive" "Invert" "Init" "intros" "Intros" "Module" "Next" - "Normal" "notE" "notI" "orE" "orIL" "orIR" "Qnify" + "Normal" "notE" "notI" "orE" "orIL" "orIR" "qnify" "Qnify" "Qrepl" "Record" "Refine" "Repeat" "Try" "Unfreeze")) "Subset of LEGO keywords and tacticals which are terminated by a \?;") |