diff options
author | Pierre Courtieu <courtieu@lri.fr> | 2004-04-06 17:04:21 +0000 |
---|---|---|
committer | Pierre Courtieu <courtieu@lri.fr> | 2004-04-06 17:04:21 +0000 |
commit | 5065a510e57545acbff26543ddba175f6052ea3c (patch) | |
tree | e6125fd2fc7f8311642cee56966def9189c8d139 /coq | |
parent | eb2fb1dab704ee39fe81ab46a120f53622888ef3 (diff) |
fixed coq xsymb table.
Diffstat (limited to 'coq')
-rw-r--r-- | coq/x-symbol-coq.el | 48 |
1 files changed, 24 insertions, 24 deletions
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") )) |