annotate etc/nxml/02000-0206F.el @ 92170:cdf4278cefa8

(compilation-handle-exit): Use compilation-error face instead of font-lock-warning-face. Display the same message in the minibuffer as is inserted at the end of the compilation buffer.
author Juri Linkov <juri@jurta.org>
date Sun, 24 Feb 2008 23:21:39 +0000
parents a4c003accb2b
children ef719132ddfa
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
86611
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1 (nxml-define-char-name-set 'general-punctuation
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
2 '(("EN QUAD" #x2000)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
3 ("EM QUAD" #x2001)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
4 ("EN SPACE" #x2002)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
5 ("EM SPACE" #x2003)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
6 ("THREE-PER-EM SPACE" #x2004)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
7 ("FOUR-PER-EM SPACE" #x2005)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
8 ("SIX-PER-EM SPACE" #x2006)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
9 ("FIGURE SPACE" #x2007)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
10 ("PUNCTUATION SPACE" #x2008)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
11 ("THIN SPACE" #x2009)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
12 ("HAIR SPACE" #x200A)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
13 ("ZERO WIDTH SPACE" #x200B)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
14 ("ZERO WIDTH NON-JOINER" #x200C)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
15 ("ZERO WIDTH JOINER" #x200D)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
16 ("LEFT-TO-RIGHT MARK" #x200E)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
17 ("RIGHT-TO-LEFT MARK" #x200F)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
18 ("HYPHEN" #x2010)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
19 ("NON-BREAKING HYPHEN" #x2011)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
20 ("FIGURE DASH" #x2012)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
21 ("EN DASH" #x2013)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
22 ("EM DASH" #x2014)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
23 ("HORIZONTAL BAR" #x2015)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
24 ("DOUBLE VERTICAL LINE" #x2016)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
25 ("DOUBLE LOW LINE" #x2017)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
26 ("LEFT SINGLE QUOTATION MARK" #x2018)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
27 ("RIGHT SINGLE QUOTATION MARK" #x2019)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
28 ("SINGLE LOW-9 QUOTATION MARK" #x201A)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
29 ("SINGLE HIGH-REVERSED-9 QUOTATION MARK" #x201B)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
30 ("LEFT DOUBLE QUOTATION MARK" #x201C)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
31 ("RIGHT DOUBLE QUOTATION MARK" #x201D)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
32 ("DOUBLE LOW-9 QUOTATION MARK" #x201E)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
33 ("DOUBLE HIGH-REVERSED-9 QUOTATION MARK" #x201F)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
34 ("DAGGER" #x2020)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
35 ("DOUBLE DAGGER" #x2021)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
36 ("BULLET" #x2022)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
37 ("TRIANGULAR BULLET" #x2023)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
38 ("ONE DOT LEADER" #x2024)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
39 ("TWO DOT LEADER" #x2025)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
40 ("HORIZONTAL ELLIPSIS" #x2026)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
41 ("HYPHENATION POINT" #x2027)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
42 ("LINE SEPARATOR" #x2028)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
43 ("PARAGRAPH SEPARATOR" #x2029)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
44 ("LEFT-TO-RIGHT EMBEDDING" #x202A)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
45 ("RIGHT-TO-LEFT EMBEDDING" #x202B)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
46 ("POP DIRECTIONAL FORMATTING" #x202C)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
47 ("LEFT-TO-RIGHT OVERRIDE" #x202D)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
48 ("RIGHT-TO-LEFT OVERRIDE" #x202E)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
49 ("NARROW NO-BREAK SPACE" #x202F)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
50 ("PER MILLE SIGN" #x2030)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
51 ("PER TEN THOUSAND SIGN" #x2031)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
52 ("PRIME" #x2032)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
53 ("DOUBLE PRIME" #x2033)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
54 ("TRIPLE PRIME" #x2034)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
55 ("REVERSED PRIME" #x2035)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
56 ("REVERSED DOUBLE PRIME" #x2036)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
57 ("REVERSED TRIPLE PRIME" #x2037)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
58 ("CARET" #x2038)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
59 ("SINGLE LEFT-POINTING ANGLE QUOTATION MARK" #x2039)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
60 ("SINGLE RIGHT-POINTING ANGLE QUOTATION MARK" #x203A)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
61 ("REFERENCE MARK" #x203B)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
62 ("DOUBLE EXCLAMATION MARK" #x203C)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
63 ("INTERROBANG" #x203D)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
64 ("OVERLINE" #x203E)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
65 ("UNDERTIE" #x203F)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
66 ("CHARACTER TIE" #x2040)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
67 ("CARET INSERTION POINT" #x2041)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
68 ("ASTERISM" #x2042)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
69 ("HYPHEN BULLET" #x2043)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
70 ("FRACTION SLASH" #x2044)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
71 ("LEFT SQUARE BRACKET WITH QUILL" #x2045)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
72 ("RIGHT SQUARE BRACKET WITH QUILL" #x2046)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
73 ("DOUBLE QUESTION MARK" #x2047)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
74 ("QUESTION EXCLAMATION MARK" #x2048)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
75 ("EXCLAMATION QUESTION MARK" #x2049)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
76 ("TIRONIAN SIGN ET" #x204A)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
77 ("REVERSED PILCROW SIGN" #x204B)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
78 ("BLACK LEFTWARDS BULLET" #x204C)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
79 ("BLACK RIGHTWARDS BULLET" #x204D)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
80 ("LOW ASTERISK" #x204E)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
81 ("REVERSED SEMICOLON" #x204F)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
82 ("CLOSE UP" #x2050)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
83 ("TWO ASTERISKS ALIGNED VERTICALLY" #x2051)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
84 ("COMMERCIAL MINUS SIGN" #x2052)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
85 ("QUADRUPLE PRIME" #x2057)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
86 ("MEDIUM MATHEMATICAL SPACE" #x205F)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
87 ("WORD JOINER" #x2060)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
88 ("FUNCTION APPLICATION" #x2061)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
89 ("INVISIBLE TIMES" #x2062)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
90 ("INVISIBLE SEPARATOR" #x2063)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
91 ("INHIBIT SYMMETRIC SWAPPING" #x206A)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
92 ("ACTIVATE SYMMETRIC SWAPPING" #x206B)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
93 ("INHIBIT ARABIC FORM SHAPING" #x206C)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
94 ("ACTIVATE ARABIC FORM SHAPING" #x206D)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
95 ("NATIONAL DIGIT SHAPES" #x206E)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
96 ("NOMINAL DIGIT SHAPES" #x206F)
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
97 ))
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
98
a4c003accb2b Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
99 ;; arch-tag: 9208787e-c528-416d-a9b1-7261c9cde84e