From b35ce5388cfbd86b2be92e7acb56ff4aa215f58a Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sat, 5 Sep 2009 10:42:23 +0000 Subject: Clean whitespace --- coq/coq-unicode-tokens.el | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) (limited to 'coq/coq-unicode-tokens.el') 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) -- cgit v1.2.3