From 6212b7f6c30ecae3bcd8d39a3332ed429c581b52 Mon Sep 17 00:00:00 2001
From: Assia Mahboubi
Date: Fri, 16 Nov 2007 13:51:43 +0000
Subject: test commit : added Structure to coq-defn-db

---
 coq/coq-syntax.el | 1 +
 1 file changed, 1 insertion(+)

diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el
index 7060f2d0..1540c467 100644
--- a/coq/coq-syntax.el
+++ b/coq/coq-syntax.el
@@ -373,6 +373,7 @@ so for the following reasons:
     ("Module Export :=" "moe" "Module Export # : # := #." t ) ; careful
     ("Module Export <: :=" "moe2" "Module Export# <: # := #." t ) ; careful
     ("Record" "rec" "Record # : # := {\n# : #;\n# : # }" t "Record")
+    ("Structure" "str" "Structure # : # := {\n# : #;\n# : # }" t "Structure")
     ("Scheme" "sc" "Scheme @{name} := #." t "Scheme")
     ("Scheme Induction" "sci" "Scheme @{name} := Induction for # Sort #." t)
     ("Scheme Minimality" "scm" "Scheme @{name} := Minimality for # Sort #." t)	
-- 
cgit v1.2.3