From 5065a510e57545acbff26543ddba175f6052ea3c Mon Sep 17 00:00:00 2001
From: Pierre Courtieu <courtieu@lri.fr>
Date: Tue, 6 Apr 2004 17:04:21 +0000
Subject: fixed coq xsymb table.

---
 coq/x-symbol-coq.el | 48 ++++++++++++++++++++++++------------------------
 1 file changed, 24 insertions(+), 24 deletions(-)

(limited to 'coq')

diff --git a/coq/x-symbol-coq.el b/coq/x-symbol-coq.el
index bcd464cd..9ae22797 100644
--- a/coq/x-symbol-coq.el
+++ b/coq/x-symbol-coq.el
@@ -327,7 +327,7 @@ See `x-symbol-language-access-alist' for details."
     (iota "iota")
     (upsilon "upsilon")
     (plusminus "plusminus")
-    (division "div")
+;    (division "div")
     (longarrowright "longrightarrow")
     (longarrowleft "longleftarrow")
     (longarrowboth "longleftrightarrow")
@@ -336,26 +336,26 @@ See `x-symbol-language-access-alist' for details."
     (longarrowdblboth "Longleftrightarrow")
 ;    (brokenbar "bar")
     (hyphen "hyphen")
-    (macron "inverse")
+;    (macron "inverse")
     (exclamdown "exclamdown")
     (questiondown "questiondown")
     (guillemotleft "guillemotleft")
     (guillemotright "guillemotright")
-    (degree "degree")
+;    (degree "degree")
     (onesuperior "onesuperior")
     (onequarter "onequarter")
     (twosuperior "twosuperior")
     (onehalf "onehalf")
     (threesuperior "threesuperior")
     (threequarters "threequarters")
-    (paragraph "paragraph")
+;    (paragraph "paragraph")
     (registered "registered")
     (ordfeminine "ordfeminine")
     (masculine "ordmasculine")
-    (section "section")
+;    (section "section")
     (sterling "pounds")
-    (yen "yen")
-    (cent "cent")
+;    (yen "yen")
+;    (cent "cent")
     (currency "currency")
     (braceleft2 "lbrace")
     (braceright2 "rbrace")
@@ -371,16 +371,16 @@ See `x-symbol-language-access-alist' for details."
     (partialdiff "partial")
     (ellipsis "dots")
     (aleph "aleph")
-    (Ifraktur "Im")
-    (Rfraktur "Re")
-    (weierstrass "wp")
+;    (Ifraktur "Im")
+;    (Rfraktur "Re")
+;    (weierstrass "wp")
     (emptyset "emptyset")
     (angle "angle")
     (gradient "nabla")
-    (product "Prod")
+;    (product "Prod")
     (arrowdblboth "Leftrightarrow")
-    (arrowdblup "Up")
-    (arrowdbldown "Down")
+    (arrowdblup "Uparr")
+    (arrowdbldown "Downarr")
     (angleleft "langle")
     (angleright "rangle")
     (summation "Sum")
@@ -388,7 +388,7 @@ See `x-symbol-language-access-alist' for details."
     (circleintegral "ointegral")
     (dagger "dagger")
     (sharp "sharp")
-    (star "star")
+;    (star "star")
     (smltriangleright "triangleright")
     (triangleleft "lhd")
     (triangle "triangle")
@@ -454,16 +454,16 @@ See `x-symbol-language-access-alist' for details."
 ;    (smllozenge "struct") ;coq keyword
     (dotlessi "index")
     (euro "euro")
-;    (zero1 "zero")
-;    (one1 "one")
-;    (two1 "two")
-;    (three1 "three")
-;    (four1 "four")
-;    (five1 "five")
-;    (six1 "six")
-;    (seven1 "seven")
-;    (eight1 "eight")
-;    (nine1 "nine")
+    (zero1 "zero")
+    (one1 "one")
+    (two1 "two")
+    (three1 "three")
+    (four1 "four")
+    (five1 "five")
+    (six1 "six")
+    (seven1 "seven")
+    (eight1 "eight")
+    (nine1 "nine")
     ))
 
 
-- 
cgit v1.2.3