From 0298a276904c9434fff318fbd9d6c6fd442bafe5 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 30 Aug 2002 09:44:06 +0000
Subject: Formatting

---
 coq/coq-syntax.el | 86 ++++++++++++++++++++++++-------------------------------
 1 file changed, 37 insertions(+), 49 deletions(-)

diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el
index 69316402..dce173e2 100644
--- a/coq/coq-syntax.el
+++ b/coq/coq-syntax.el
@@ -10,61 +10,49 @@
 ;; ----- keywords for font-lock.
 
 (defvar coq-keywords-decl
-  '(
-"Axiom[s]?"
-"Hypotheses"
-"Hypothesis"
-"Parameter[s]?"
-;; da: 3.2 I added Section here, to try to fix undo for Sections working
-;; better.
-;;Pierre : Chapter also
-"Variable[s]?"
-"Global\\s-+Variable"
-;;added tactic def here because it needs Reset to be undone correctly
-"Tactic\\s-+Definition"
-))
+  '("Axiom[s]?"
+    "Hypotheses"
+    "Hypothesis"
+    "Parameter[s]?"
+    "Variable[s]?"
+    "Global\\s-+Variable"
+    ;;added tactic def here because it needs Reset to be undone correctly
+    "Tactic\\s-+Definition"))
 
 (defvar coq-keywords-defn
-  '(
-"CoFixpoint"
-"CoInductive"
-"Fixpoint"
-"Inductive"
-"Inductive\\s-+Set"
-"Inductive\\s-+Prop"
-"Inductive\\s-+Type"
-"Mutual\\s-+Inductive"
-"Record"
-"Scheme"
-"Syntactic\\-+Definition"
-"Structure"
-))
+  '("CoFixpoint"
+    "CoInductive"
+    "Fixpoint"
+    "Inductive"
+    "Inductive\\s-+Set"
+    "Inductive\\s-+Prop"
+    "Inductive\\s-+Type"
+    "Mutual\\s-+Inductive"
+    "Record"
+    "Scheme"
+    "Syntactic\\-+Definition"
+    "Structure"))
 
 (defvar coq-keywords-goal
-  '(
-"Chapter"
-"Section"
-"Correctness"
-"Definition"
-"Fact"
-"Goal"
-"Lemma"
-"Local"
-"Remark"
-"Theorem"
-))
+  '("Chapter"
+    "Section"
+    "Correctness"
+    "Definition"
+    "Fact"
+    "Goal"
+    "Lemma"
+    "Local"
+    "Remark"
+    "Theorem"))
 
 (defvar coq-keywords-save
-  '(
-"Defined"
-"Save"
-"Qed"
-"End"
-))
-
-(defvar coq-keywords-kill-goal '(
-"Abort"
-))
+  '("Defined"
+    "Save"
+    "Qed"
+    "End"))
+
+(defvar coq-keywords-kill-goal 
+  '("Abort"))
 
 
 
-- 
cgit v1.2.3