diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-09-05 10:42:23 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-05 10:42:23 +0000 |
| commit | b35ce5388cfbd86b2be92e7acb56ff4aa215f58a (patch) | |
| tree | aa6f57349bb07993bf80136e6dd18a8fe0e6ea84 /coq/coq-unicode-tokens.el | |
| parent | 41a4f20e3250cbe225fb8363738a6c6ac35d0368 (diff) | |
Clean whitespace
Diffstat (limited to 'coq/coq-unicode-tokens.el')
| -rw-r--r-- | coq/coq-unicode-tokens.el | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/coq/coq-unicode-tokens.el b/coq/coq-unicode-tokens.el index b7a0692a..84beb4b6 100644 --- a/coq/coq-unicode-tokens.el +++ b/coq/coq-unicode-tokens.el @@ -161,7 +161,7 @@ You can adjust this table to add more entries, or to change entries for glyphs that not are available in your Emacs or chosen font. These shortcuts are only used for input; no reverse conversion is -performed. This means that the target strings need to have a defined +performed. This means that the target strings need to have a defined meaning to be useful." :type '(repeat (cons (string :tag "Shortcut sequence") (string :tag "Unicode string"))) @@ -169,24 +169,24 @@ meaning to be useful." :group 'coq :tag "Coq Unicode Input Shortcuts") - + ;; ;; Controls ;; -(defconst coq-control-char-format-regexp +(defconst coq-control-char-format-regexp ;; FIXME: fix Coq identifier syntax below "\\(\s*%s\s*\\)\\([a-zA-Z0-9']+\\)") (defconst coq-control-char-format " %s ") -(defconst coq-control-characters - '(("Subscript" "__" sub) +(defconst coq-control-characters + '(("Subscript" "__" sub) ("Superscript" "^^" sup))) (defconst coq-control-region-format-regexp "\\(\s*%s\{\\)\\([^}]*\\)\\(\}\s*\\)") -(defconst coq-control-regions +(defconst coq-control-regions '(("Subscript" "," "" sub) ("Superscript" "^" "" sup) ("Bold" "BOLD" "" bold) |