From fdc93e295c67ca38d96277ee177a3743bcc2f3ab Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Sat, 26 Aug 2000 11:07:40 +0000
Subject: nothing important, I forgot to undo something before my last commit
 in coq/x-symbol-coq.el

---
 coq/x-symbol-coq.el | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/coq/x-symbol-coq.el b/coq/x-symbol-coq.el
index 7c09b2ef..d74ab428 100644
--- a/coq/x-symbol-coq.el
+++ b/coq/x-symbol-coq.el
@@ -6,9 +6,7 @@
 ;;
 
 (defvar x-symbol-coq-symbol-table 
-  '((arrowup () "\\+"  "\\<uparrow>")
-    (arrowdown () "\\-"  "\\<downarrow>")
-    (perpendicular  () "False"  "\\<bottom>")
+  '((perpendicular  () "False"  "\\<bottom>")
     (top            () "True"   "\\<top>")
     (notsign       () "~"       "\\<not>")
     (longarrowright () "->"  "\\<longrightarrow>")
-- 
cgit v1.2.3