From b4eafa55c48b39be73947ac67fb8a8dae439c29d Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Wed, 14 Apr 2004 15:06:55 +0000
Subject: added the "return" keyword to coq

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

diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el
index 6e8a6aa4..122b9e02 100644
--- a/coq/coq-syntax.el
+++ b/coq/coq-syntax.el
@@ -704,6 +704,7 @@ Idtac (Nop) tactic, put the following line in your .emacs:
 	 "match"
 	 "forall"
 	 "fun"
+	 "return"
 	 ))
 
 (defvar coq-reserved-V7
-- 
cgit v1.2.3