From b8d706feeb2085cee94c636328e0abbc5d5f8c9a Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Fri, 25 Aug 2006 18:26:13 +0000
Subject: fixes again in syntax databases.

---
 coq/coq-syntax.el | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el
index 30a74f38..86e313b6 100644
--- a/coq/coq-syntax.el
+++ b/coq/coq-syntax.el
@@ -227,7 +227,7 @@ so for the following reasons:
      ("set in |- *" "setg" "set ( # := #) in |- *" t)
      ("set in" "seti" "set ( # := #) in #" t)
      ("set" "set" "set ( # := #)" t "set")
-     ("setoid_replace with" "strep" "setoid_replace # with #" t "setoid_replace")
+     ("setoid_replace with" "strep2" "setoid_replace # with #" t "setoid_replace")
      ("setoid replace with" "strep" "setoid replace # with #" t "setoid\\s-+replace")
      ("setoid_rewrite" "strew" "setoid_rewrite #" t "setoid_rewrite")
      ("setoid rewrite" "strew" "setoid rewrite #" t "setoid\\s-+rewrite")
@@ -247,11 +247,11 @@ so for the following reasons:
      ("stepr by" "strb" "stepr # by #" t)
      ("subst" "su" "subst #" t "subst")
      ("symmetry" "sy" "symmetry" t "symmetry")
-     ("symmetry in" "sy" "symmetry in #" t)
+     ("symmetry in" "syi" "symmetry in #" t)
      ("tauto" "ta" "tauto" t "tauto")
      ("transitivity" "trans" "transitivity #" t "transitivity")
      ("trivial" "t" "trivial" t "trivial")
-     ("trivial with" "t" "trivial with @{db}" t)
+     ("trivial with" "tw" "trivial with @{db}" t)
      ("unfold" "u" "unfold #" t "unfold")
      ("unfold(s)" "us" "unfold # , #" t)
      ("unfold in" "unfi" "unfold # in #" t)
-- 
cgit v1.2.3