diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2004-04-16 12:20:24 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2004-04-16 12:20:24 +0000 |
| commit | cc2c3ff61afc420317b7bc9ac1e246fc0a03c836 (patch) | |
| tree | 07fd58c03586091ff3e9db1324952248686033cb /coq | |
| parent | 0298822300d92bef8bb3e0a4d3a14373ae087530 (diff) | |
modified the noteq token (become '<>' ).
Diffstat (limited to 'coq')
| -rw-r--r-- | coq/x-symbol-coq.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/coq/x-symbol-coq.el b/coq/x-symbol-coq.el index 90cf657c..d37d859a 100644 --- a/coq/x-symbol-coq.el +++ b/coq/x-symbol-coq.el @@ -267,7 +267,7 @@ See `x-symbol-language-access-alist' for details." (dotequal "doteq") (wrong "wrong") (equivalence "<->") - (notequal "noteq") + (notequal "<>") (propersqsubset "sqsubset") (reflexsqsubset "sqsubseteq") (properprec "prec") |