annotate xml/xhtml-lat1.ent @ 1855:0480b8f29a47

Undo 'let' inlining tweak; improve optimization of 'case' of type 'transaction'
author Adam Chlipala <adam@chlipala.net>
date Fri, 07 Jun 2013 16:11:52 -0400
parents 1c9f8f06c1d6
children
rev   line source
adam@1592 1 <!-- Portions (C) International Organization for Standardization 1986
adam@1592 2 Permission to copy in any form is granted for use with
adam@1592 3 conforming SGML systems and applications as defined in
adam@1592 4 ISO 8879, provided this notice is included in all copies.
adam@1592 5 -->
adam@1592 6 <!-- Character entity set. Typical invocation:
adam@1592 7 <!ENTITY % HTMLlat1 PUBLIC
adam@1592 8 "-//W3C//ENTITIES Latin 1 for XHTML//EN"
adam@1592 9 "http://www.w3.org/TR/xhtml1/DTD/xhtml-lat1.ent">
adam@1592 10 %HTMLlat1;
adam@1592 11 -->
adam@1592 12
adam@1592 13 <!ENTITY nbsp "&#160;"> <!-- no-break space = non-breaking space,
adam@1592 14 U+00A0 ISOnum -->
adam@1592 15 <!ENTITY iexcl "&#161;"> <!-- inverted exclamation mark, U+00A1 ISOnum -->
adam@1592 16 <!ENTITY cent "&#162;"> <!-- cent sign, U+00A2 ISOnum -->
adam@1592 17 <!ENTITY pound "&#163;"> <!-- pound sign, U+00A3 ISOnum -->
adam@1592 18 <!ENTITY curren "&#164;"> <!-- currency sign, U+00A4 ISOnum -->
adam@1592 19 <!ENTITY yen "&#165;"> <!-- yen sign = yuan sign, U+00A5 ISOnum -->
adam@1592 20 <!ENTITY brvbar "&#166;"> <!-- broken bar = broken vertical bar,
adam@1592 21 U+00A6 ISOnum -->
adam@1592 22 <!ENTITY sect "&#167;"> <!-- section sign, U+00A7 ISOnum -->
adam@1592 23 <!ENTITY uml "&#168;"> <!-- diaeresis = spacing diaeresis,
adam@1592 24 U+00A8 ISOdia -->
adam@1592 25 <!ENTITY copy "&#169;"> <!-- copyright sign, U+00A9 ISOnum -->
adam@1592 26 <!ENTITY ordf "&#170;"> <!-- feminine ordinal indicator, U+00AA ISOnum -->
adam@1592 27 <!ENTITY laquo "&#171;"> <!-- left-pointing double angle quotation mark
adam@1592 28 = left pointing guillemet, U+00AB ISOnum -->
adam@1592 29 <!ENTITY not "&#172;"> <!-- not sign = angled dash,
adam@1592 30 U+00AC ISOnum -->
adam@1592 31 <!ENTITY shy "&#173;"> <!-- soft hyphen = discretionary hyphen,
adam@1592 32 U+00AD ISOnum -->
adam@1592 33 <!ENTITY reg "&#174;"> <!-- registered sign = registered trade mark sign,
adam@1592 34 U+00AE ISOnum -->
adam@1592 35 <!ENTITY macr "&#175;"> <!-- macron = spacing macron = overline
adam@1592 36 = APL overbar, U+00AF ISOdia -->
adam@1592 37 <!ENTITY deg "&#176;"> <!-- degree sign, U+00B0 ISOnum -->
adam@1592 38 <!ENTITY plusmn "&#177;"> <!-- plus-minus sign = plus-or-minus sign,
adam@1592 39 U+00B1 ISOnum -->
adam@1592 40 <!ENTITY sup2 "&#178;"> <!-- superscript two = superscript digit two
adam@1592 41 = squared, U+00B2 ISOnum -->
adam@1592 42 <!ENTITY sup3 "&#179;"> <!-- superscript three = superscript digit three
adam@1592 43 = cubed, U+00B3 ISOnum -->
adam@1592 44 <!ENTITY acute "&#180;"> <!-- acute accent = spacing acute,
adam@1592 45 U+00B4 ISOdia -->
adam@1592 46 <!ENTITY micro "&#181;"> <!-- micro sign, U+00B5 ISOnum -->
adam@1592 47 <!ENTITY para "&#182;"> <!-- pilcrow sign = paragraph sign,
adam@1592 48 U+00B6 ISOnum -->
adam@1592 49 <!ENTITY middot "&#183;"> <!-- middle dot = Georgian comma
adam@1592 50 = Greek middle dot, U+00B7 ISOnum -->
adam@1592 51 <!ENTITY cedil "&#184;"> <!-- cedilla = spacing cedilla, U+00B8 ISOdia -->
adam@1592 52 <!ENTITY sup1 "&#185;"> <!-- superscript one = superscript digit one,
adam@1592 53 U+00B9 ISOnum -->
adam@1592 54 <!ENTITY ordm "&#186;"> <!-- masculine ordinal indicator,
adam@1592 55 U+00BA ISOnum -->
adam@1592 56 <!ENTITY raquo "&#187;"> <!-- right-pointing double angle quotation mark
adam@1592 57 = right pointing guillemet, U+00BB ISOnum -->
adam@1592 58 <!ENTITY frac14 "&#188;"> <!-- vulgar fraction one quarter
adam@1592 59 = fraction one quarter, U+00BC ISOnum -->
adam@1592 60 <!ENTITY frac12 "&#189;"> <!-- vulgar fraction one half
adam@1592 61 = fraction one half, U+00BD ISOnum -->
adam@1592 62 <!ENTITY frac34 "&#190;"> <!-- vulgar fraction three quarters
adam@1592 63 = fraction three quarters, U+00BE ISOnum -->
adam@1592 64 <!ENTITY iquest "&#191;"> <!-- inverted question mark
adam@1592 65 = turned question mark, U+00BF ISOnum -->
adam@1592 66 <!ENTITY Agrave "&#192;"> <!-- latin capital letter A with grave
adam@1592 67 = latin capital letter A grave,
adam@1592 68 U+00C0 ISOlat1 -->
adam@1592 69 <!ENTITY Aacute "&#193;"> <!-- latin capital letter A with acute,
adam@1592 70 U+00C1 ISOlat1 -->
adam@1592 71 <!ENTITY Acirc "&#194;"> <!-- latin capital letter A with circumflex,
adam@1592 72 U+00C2 ISOlat1 -->
adam@1592 73 <!ENTITY Atilde "&#195;"> <!-- latin capital letter A with tilde,
adam@1592 74 U+00C3 ISOlat1 -->
adam@1592 75 <!ENTITY Auml "&#196;"> <!-- latin capital letter A with diaeresis,
adam@1592 76 U+00C4 ISOlat1 -->
adam@1592 77 <!ENTITY Aring "&#197;"> <!-- latin capital letter A with ring above
adam@1592 78 = latin capital letter A ring,
adam@1592 79 U+00C5 ISOlat1 -->
adam@1592 80 <!ENTITY AElig "&#198;"> <!-- latin capital letter AE
adam@1592 81 = latin capital ligature AE,
adam@1592 82 U+00C6 ISOlat1 -->
adam@1592 83 <!ENTITY Ccedil "&#199;"> <!-- latin capital letter C with cedilla,
adam@1592 84 U+00C7 ISOlat1 -->
adam@1592 85 <!ENTITY Egrave "&#200;"> <!-- latin capital letter E with grave,
adam@1592 86 U+00C8 ISOlat1 -->
adam@1592 87 <!ENTITY Eacute "&#201;"> <!-- latin capital letter E with acute,
adam@1592 88 U+00C9 ISOlat1 -->
adam@1592 89 <!ENTITY Ecirc "&#202;"> <!-- latin capital letter E with circumflex,
adam@1592 90 U+00CA ISOlat1 -->
adam@1592 91 <!ENTITY Euml "&#203;"> <!-- latin capital letter E with diaeresis,
adam@1592 92 U+00CB ISOlat1 -->
adam@1592 93 <!ENTITY Igrave "&#204;"> <!-- latin capital letter I with grave,
adam@1592 94 U+00CC ISOlat1 -->
adam@1592 95 <!ENTITY Iacute "&#205;"> <!-- latin capital letter I with acute,
adam@1592 96 U+00CD ISOlat1 -->
adam@1592 97 <!ENTITY Icirc "&#206;"> <!-- latin capital letter I with circumflex,
adam@1592 98 U+00CE ISOlat1 -->
adam@1592 99 <!ENTITY Iuml "&#207;"> <!-- latin capital letter I with diaeresis,
adam@1592 100 U+00CF ISOlat1 -->
adam@1592 101 <!ENTITY ETH "&#208;"> <!-- latin capital letter ETH, U+00D0 ISOlat1 -->
adam@1592 102 <!ENTITY Ntilde "&#209;"> <!-- latin capital letter N with tilde,
adam@1592 103 U+00D1 ISOlat1 -->
adam@1592 104 <!ENTITY Ograve "&#210;"> <!-- latin capital letter O with grave,
adam@1592 105 U+00D2 ISOlat1 -->
adam@1592 106 <!ENTITY Oacute "&#211;"> <!-- latin capital letter O with acute,
adam@1592 107 U+00D3 ISOlat1 -->
adam@1592 108 <!ENTITY Ocirc "&#212;"> <!-- latin capital letter O with circumflex,
adam@1592 109 U+00D4 ISOlat1 -->
adam@1592 110 <!ENTITY Otilde "&#213;"> <!-- latin capital letter O with tilde,
adam@1592 111 U+00D5 ISOlat1 -->
adam@1592 112 <!ENTITY Ouml "&#214;"> <!-- latin capital letter O with diaeresis,
adam@1592 113 U+00D6 ISOlat1 -->
adam@1592 114 <!ENTITY times "&#215;"> <!-- multiplication sign, U+00D7 ISOnum -->
adam@1592 115 <!ENTITY Oslash "&#216;"> <!-- latin capital letter O with stroke
adam@1592 116 = latin capital letter O slash,
adam@1592 117 U+00D8 ISOlat1 -->
adam@1592 118 <!ENTITY Ugrave "&#217;"> <!-- latin capital letter U with grave,
adam@1592 119 U+00D9 ISOlat1 -->
adam@1592 120 <!ENTITY Uacute "&#218;"> <!-- latin capital letter U with acute,
adam@1592 121 U+00DA ISOlat1 -->
adam@1592 122 <!ENTITY Ucirc "&#219;"> <!-- latin capital letter U with circumflex,
adam@1592 123 U+00DB ISOlat1 -->
adam@1592 124 <!ENTITY Uuml "&#220;"> <!-- latin capital letter U with diaeresis,
adam@1592 125 U+00DC ISOlat1 -->
adam@1592 126 <!ENTITY Yacute "&#221;"> <!-- latin capital letter Y with acute,
adam@1592 127 U+00DD ISOlat1 -->
adam@1592 128 <!ENTITY THORN "&#222;"> <!-- latin capital letter THORN,
adam@1592 129 U+00DE ISOlat1 -->
adam@1592 130 <!ENTITY szlig "&#223;"> <!-- latin small letter sharp s = ess-zed,
adam@1592 131 U+00DF ISOlat1 -->
adam@1592 132 <!ENTITY agrave "&#224;"> <!-- latin small letter a with grave
adam@1592 133 = latin small letter a grave,
adam@1592 134 U+00E0 ISOlat1 -->
adam@1592 135 <!ENTITY aacute "&#225;"> <!-- latin small letter a with acute,
adam@1592 136 U+00E1 ISOlat1 -->
adam@1592 137 <!ENTITY acirc "&#226;"> <!-- latin small letter a with circumflex,
adam@1592 138 U+00E2 ISOlat1 -->
adam@1592 139 <!ENTITY atilde "&#227;"> <!-- latin small letter a with tilde,
adam@1592 140 U+00E3 ISOlat1 -->
adam@1592 141 <!ENTITY auml "&#228;"> <!-- latin small letter a with diaeresis,
adam@1592 142 U+00E4 ISOlat1 -->
adam@1592 143 <!ENTITY aring "&#229;"> <!-- latin small letter a with ring above
adam@1592 144 = latin small letter a ring,
adam@1592 145 U+00E5 ISOlat1 -->
adam@1592 146 <!ENTITY aelig "&#230;"> <!-- latin small letter ae
adam@1592 147 = latin small ligature ae, U+00E6 ISOlat1 -->
adam@1592 148 <!ENTITY ccedil "&#231;"> <!-- latin small letter c with cedilla,
adam@1592 149 U+00E7 ISOlat1 -->
adam@1592 150 <!ENTITY egrave "&#232;"> <!-- latin small letter e with grave,
adam@1592 151 U+00E8 ISOlat1 -->
adam@1592 152 <!ENTITY eacute "&#233;"> <!-- latin small letter e with acute,
adam@1592 153 U+00E9 ISOlat1 -->
adam@1592 154 <!ENTITY ecirc "&#234;"> <!-- latin small letter e with circumflex,
adam@1592 155 U+00EA ISOlat1 -->
adam@1592 156 <!ENTITY euml "&#235;"> <!-- latin small letter e with diaeresis,
adam@1592 157 U+00EB ISOlat1 -->
adam@1592 158 <!ENTITY igrave "&#236;"> <!-- latin small letter i with grave,
adam@1592 159 U+00EC ISOlat1 -->
adam@1592 160 <!ENTITY iacute "&#237;"> <!-- latin small letter i with acute,
adam@1592 161 U+00ED ISOlat1 -->
adam@1592 162 <!ENTITY icirc "&#238;"> <!-- latin small letter i with circumflex,
adam@1592 163 U+00EE ISOlat1 -->
adam@1592 164 <!ENTITY iuml "&#239;"> <!-- latin small letter i with diaeresis,
adam@1592 165 U+00EF ISOlat1 -->
adam@1592 166 <!ENTITY eth "&#240;"> <!-- latin small letter eth, U+00F0 ISOlat1 -->
adam@1592 167 <!ENTITY ntilde "&#241;"> <!-- latin small letter n with tilde,
adam@1592 168 U+00F1 ISOlat1 -->
adam@1592 169 <!ENTITY ograve "&#242;"> <!-- latin small letter o with grave,
adam@1592 170 U+00F2 ISOlat1 -->
adam@1592 171 <!ENTITY oacute "&#243;"> <!-- latin small letter o with acute,
adam@1592 172 U+00F3 ISOlat1 -->
adam@1592 173 <!ENTITY ocirc "&#244;"> <!-- latin small letter o with circumflex,
adam@1592 174 U+00F4 ISOlat1 -->
adam@1592 175 <!ENTITY otilde "&#245;"> <!-- latin small letter o with tilde,
adam@1592 176 U+00F5 ISOlat1 -->
adam@1592 177 <!ENTITY ouml "&#246;"> <!-- latin small letter o with diaeresis,
adam@1592 178 U+00F6 ISOlat1 -->
adam@1592 179 <!ENTITY divide "&#247;"> <!-- division sign, U+00F7 ISOnum -->
adam@1592 180 <!ENTITY oslash "&#248;"> <!-- latin small letter o with stroke,
adam@1592 181 = latin small letter o slash,
adam@1592 182 U+00F8 ISOlat1 -->
adam@1592 183 <!ENTITY ugrave "&#249;"> <!-- latin small letter u with grave,
adam@1592 184 U+00F9 ISOlat1 -->
adam@1592 185 <!ENTITY uacute "&#250;"> <!-- latin small letter u with acute,
adam@1592 186 U+00FA ISOlat1 -->
adam@1592 187 <!ENTITY ucirc "&#251;"> <!-- latin small letter u with circumflex,
adam@1592 188 U+00FB ISOlat1 -->
adam@1592 189 <!ENTITY uuml "&#252;"> <!-- latin small letter u with diaeresis,
adam@1592 190 U+00FC ISOlat1 -->
adam@1592 191 <!ENTITY yacute "&#253;"> <!-- latin small letter y with acute,
adam@1592 192 U+00FD ISOlat1 -->
adam@1592 193 <!ENTITY thorn "&#254;"> <!-- latin small letter thorn,
adam@1592 194 U+00FE ISOlat1 -->
adam@1592 195 <!ENTITY yuml "&#255;"> <!-- latin small letter y with diaeresis,
adam@1592 196 U+00FF ISOlat1 -->