diff options
| author | Pierre Courtieu | 2000-08-26 11:07:40 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2000-08-26 11:07:40 +0000 |
| commit | fdc93e295c67ca38d96277ee177a3743bcc2f3ab (patch) | |
| tree | 3a314bf3fa832469d831b5456664c51389464a0a | |
| parent | 8eb18e285ae9c8e64b3bc6193ff050c858117855 (diff) | |
nothing important, I forgot to undo something before my last commit in
coq/x-symbol-coq.el
| -rw-r--r-- | coq/x-symbol-coq.el | 4 |
1 files changed, 1 insertions, 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>") |