annotate etc/nxml/00080-000FF.el @ 100847:883cbe72dc04

(proced-grammar-alist): Refiner can be a list (function help-echo) instead of a cons pair. (proced-post-display-hook): New variable. (proced-tree-depth): Renamed from proced-tree-indent. (proced-mode): Derive mode from special-mode. (proced-mode-map): Changed accordingly. (proced, proced-update): Run proced-post-display-hook. (proced-do-mark-all): Count processes for which mark has been updated. (proced-format): Check for ppid attribute. (proced-process-attributes): Take time and ctime attribute from system-process-attributes. (proced-send-signal): Doc fix. Collect properly the info on marked processes. Use fit-window-to-buffer instead of dired-pop-to-buffer.
author Roland Winkler <Roland.Winkler@physik.uni-erlangen.de>
date Sat, 03 Jan 2009 12:18:53 +0000
parents 7b7e18df0dbf
children ef719132ddfa
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
86568
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1 (nxml-define-char-name-set 'latin-1-supplement
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
2 '(("NO-BREAK SPACE" #x00A0)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
3 ("INVERTED EXCLAMATION MARK" #x00A1)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
4 ("CENT SIGN" #x00A2)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
5 ("POUND SIGN" #x00A3)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
6 ("CURRENCY SIGN" #x00A4)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
7 ("YEN SIGN" #x00A5)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
8 ("BROKEN BAR" #x00A6)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
9 ("SECTION SIGN" #x00A7)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
10 ("DIAERESIS" #x00A8)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
11 ("COPYRIGHT SIGN" #x00A9)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
12 ("FEMININE ORDINAL INDICATOR" #x00AA)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
13 ("LEFT-POINTING DOUBLE ANGLE QUOTATION MARK" #x00AB)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
14 ("NOT SIGN" #x00AC)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
15 ("SOFT HYPHEN" #x00AD)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
16 ("REGISTERED SIGN" #x00AE)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
17 ("MACRON" #x00AF)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
18 ("DEGREE SIGN" #x00B0)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
19 ("PLUS-MINUS SIGN" #x00B1)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
20 ("SUPERSCRIPT TWO" #x00B2)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
21 ("SUPERSCRIPT THREE" #x00B3)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
22 ("ACUTE ACCENT" #x00B4)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
23 ("MICRO SIGN" #x00B5)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
24 ("PILCROW SIGN" #x00B6)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
25 ("MIDDLE DOT" #x00B7)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
26 ("CEDILLA" #x00B8)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
27 ("SUPERSCRIPT ONE" #x00B9)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
28 ("MASCULINE ORDINAL INDICATOR" #x00BA)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
29 ("RIGHT-POINTING DOUBLE ANGLE QUOTATION MARK" #x00BB)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
30 ("VULGAR FRACTION ONE QUARTER" #x00BC)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
31 ("VULGAR FRACTION ONE HALF" #x00BD)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
32 ("VULGAR FRACTION THREE QUARTERS" #x00BE)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
33 ("INVERTED QUESTION MARK" #x00BF)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
34 ("LATIN CAPITAL LETTER A WITH GRAVE" #x00C0)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
35 ("LATIN CAPITAL LETTER A WITH ACUTE" #x00C1)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
36 ("LATIN CAPITAL LETTER A WITH CIRCUMFLEX" #x00C2)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
37 ("LATIN CAPITAL LETTER A WITH TILDE" #x00C3)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
38 ("LATIN CAPITAL LETTER A WITH DIAERESIS" #x00C4)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
39 ("LATIN CAPITAL LETTER A WITH RING ABOVE" #x00C5)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
40 ("LATIN CAPITAL LETTER AE" #x00C6)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
41 ("LATIN CAPITAL LETTER C WITH CEDILLA" #x00C7)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
42 ("LATIN CAPITAL LETTER E WITH GRAVE" #x00C8)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
43 ("LATIN CAPITAL LETTER E WITH ACUTE" #x00C9)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
44 ("LATIN CAPITAL LETTER E WITH CIRCUMFLEX" #x00CA)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
45 ("LATIN CAPITAL LETTER E WITH DIAERESIS" #x00CB)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
46 ("LATIN CAPITAL LETTER I WITH GRAVE" #x00CC)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
47 ("LATIN CAPITAL LETTER I WITH ACUTE" #x00CD)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
48 ("LATIN CAPITAL LETTER I WITH CIRCUMFLEX" #x00CE)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
49 ("LATIN CAPITAL LETTER I WITH DIAERESIS" #x00CF)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
50 ("LATIN CAPITAL LETTER ETH" #x00D0)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
51 ("LATIN CAPITAL LETTER N WITH TILDE" #x00D1)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
52 ("LATIN CAPITAL LETTER O WITH GRAVE" #x00D2)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
53 ("LATIN CAPITAL LETTER O WITH ACUTE" #x00D3)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
54 ("LATIN CAPITAL LETTER O WITH CIRCUMFLEX" #x00D4)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
55 ("LATIN CAPITAL LETTER O WITH TILDE" #x00D5)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
56 ("LATIN CAPITAL LETTER O WITH DIAERESIS" #x00D6)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
57 ("MULTIPLICATION SIGN" #x00D7)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
58 ("LATIN CAPITAL LETTER O WITH STROKE" #x00D8)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
59 ("LATIN CAPITAL LETTER U WITH GRAVE" #x00D9)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
60 ("LATIN CAPITAL LETTER U WITH ACUTE" #x00DA)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
61 ("LATIN CAPITAL LETTER U WITH CIRCUMFLEX" #x00DB)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
62 ("LATIN CAPITAL LETTER U WITH DIAERESIS" #x00DC)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
63 ("LATIN CAPITAL LETTER Y WITH ACUTE" #x00DD)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
64 ("LATIN CAPITAL LETTER THORN" #x00DE)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
65 ("LATIN SMALL LETTER SHARP S" #x00DF)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
66 ("LATIN SMALL LETTER A WITH GRAVE" #x00E0)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
67 ("LATIN SMALL LETTER A WITH ACUTE" #x00E1)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
68 ("LATIN SMALL LETTER A WITH CIRCUMFLEX" #x00E2)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
69 ("LATIN SMALL LETTER A WITH TILDE" #x00E3)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
70 ("LATIN SMALL LETTER A WITH DIAERESIS" #x00E4)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
71 ("LATIN SMALL LETTER A WITH RING ABOVE" #x00E5)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
72 ("LATIN SMALL LETTER AE" #x00E6)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
73 ("LATIN SMALL LETTER C WITH CEDILLA" #x00E7)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
74 ("LATIN SMALL LETTER E WITH GRAVE" #x00E8)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
75 ("LATIN SMALL LETTER E WITH ACUTE" #x00E9)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
76 ("LATIN SMALL LETTER E WITH CIRCUMFLEX" #x00EA)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
77 ("LATIN SMALL LETTER E WITH DIAERESIS" #x00EB)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
78 ("LATIN SMALL LETTER I WITH GRAVE" #x00EC)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
79 ("LATIN SMALL LETTER I WITH ACUTE" #x00ED)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
80 ("LATIN SMALL LETTER I WITH CIRCUMFLEX" #x00EE)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
81 ("LATIN SMALL LETTER I WITH DIAERESIS" #x00EF)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
82 ("LATIN SMALL LETTER ETH" #x00F0)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
83 ("LATIN SMALL LETTER N WITH TILDE" #x00F1)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
84 ("LATIN SMALL LETTER O WITH GRAVE" #x00F2)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
85 ("LATIN SMALL LETTER O WITH ACUTE" #x00F3)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
86 ("LATIN SMALL LETTER O WITH CIRCUMFLEX" #x00F4)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
87 ("LATIN SMALL LETTER O WITH TILDE" #x00F5)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
88 ("LATIN SMALL LETTER O WITH DIAERESIS" #x00F6)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
89 ("DIVISION SIGN" #x00F7)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
90 ("LATIN SMALL LETTER O WITH STROKE" #x00F8)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
91 ("LATIN SMALL LETTER U WITH GRAVE" #x00F9)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
92 ("LATIN SMALL LETTER U WITH ACUTE" #x00FA)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
93 ("LATIN SMALL LETTER U WITH CIRCUMFLEX" #x00FB)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
94 ("LATIN SMALL LETTER U WITH DIAERESIS" #x00FC)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
95 ("LATIN SMALL LETTER Y WITH ACUTE" #x00FD)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
96 ("LATIN SMALL LETTER THORN" #x00FE)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
97 ("LATIN SMALL LETTER Y WITH DIAERESIS" #x00FF)
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
98 ))
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
99
7b7e18df0dbf Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
100 ;; arch-tag: f7ca0f06-9eb7-4b7a-b014-795af10f23ac