parser/htmlparser/tests/mochitest/html5lib_tree_construction/tests20.dat@6474c204b198 (annotated)
parser/htmlparser/tests/mochitest/html5lib_tree_construction/tests20.dat
Wed, 31 Dec 2014 06:09:35 +0100
- author
- Michael Schloh von Bennewitz <michael@schloh.com>
- date
- Wed, 31 Dec 2014 06:09:35 +0100
- changeset 0
- 6474c204b198
- permissions
- -rw-r--r--
Cloned upstream origin tor-browser at tor-browser-31.3.0esr-4.5-1-build1
revision ID fc1c9ff7c1b2defdbc039f12214767608f46423f for hacking purpose.
| michael@0 | 1 | #data |
| michael@0 | 2 | <!doctype html><p><button><button> |
| michael@0 | 3 | #errors |
| michael@0 | 4 | (1,34): unexpected-start-tag-implies-end-tag |
| michael@0 | 5 | (1,34): expected-closing-tag-but-got-eof |
| michael@0 | 6 | #document |
| michael@0 | 7 | | <!DOCTYPE html> |
| michael@0 | 8 | | <html> |
| michael@0 | 9 | | <head> |
| michael@0 | 10 | | <body> |
| michael@0 | 11 | | <p> |
| michael@0 | 12 | | <button> |
| michael@0 | 13 | | <button> |
| michael@0 | 14 | |
| michael@0 | 15 | #data |
| michael@0 | 16 | <!doctype html><p><button><address> |
| michael@0 | 17 | #errors |
| michael@0 | 18 | (1,35): expected-closing-tag-but-got-eof |
| michael@0 | 19 | #document |
| michael@0 | 20 | | <!DOCTYPE html> |
| michael@0 | 21 | | <html> |
| michael@0 | 22 | | <head> |
| michael@0 | 23 | | <body> |
| michael@0 | 24 | | <p> |
| michael@0 | 25 | | <button> |
| michael@0 | 26 | | <address> |
| michael@0 | 27 | |
| michael@0 | 28 | #data |
| michael@0 | 29 | <!doctype html><p><button><blockquote> |
| michael@0 | 30 | #errors |
| michael@0 | 31 | (1,38): expected-closing-tag-but-got-eof |
| michael@0 | 32 | #document |
| michael@0 | 33 | | <!DOCTYPE html> |
| michael@0 | 34 | | <html> |
| michael@0 | 35 | | <head> |
| michael@0 | 36 | | <body> |
| michael@0 | 37 | | <p> |
| michael@0 | 38 | | <button> |
| michael@0 | 39 | | <blockquote> |
| michael@0 | 40 | |
| michael@0 | 41 | #data |
| michael@0 | 42 | <!doctype html><p><button><menu> |
| michael@0 | 43 | #errors |
| michael@0 | 44 | (1,32): expected-closing-tag-but-got-eof |
| michael@0 | 45 | #document |
| michael@0 | 46 | | <!DOCTYPE html> |
| michael@0 | 47 | | <html> |
| michael@0 | 48 | | <head> |
| michael@0 | 49 | | <body> |
| michael@0 | 50 | | <p> |
| michael@0 | 51 | | <button> |
| michael@0 | 52 | | <menu> |
| michael@0 | 53 | |
| michael@0 | 54 | #data |
| michael@0 | 55 | <!doctype html><p><button><p> |
| michael@0 | 56 | #errors |
| michael@0 | 57 | (1,29): expected-closing-tag-but-got-eof |
| michael@0 | 58 | #document |
| michael@0 | 59 | | <!DOCTYPE html> |
| michael@0 | 60 | | <html> |
| michael@0 | 61 | | <head> |
| michael@0 | 62 | | <body> |
| michael@0 | 63 | | <p> |
| michael@0 | 64 | | <button> |
| michael@0 | 65 | | <p> |
| michael@0 | 66 | |
| michael@0 | 67 | #data |
| michael@0 | 68 | <!doctype html><p><button><ul> |
| michael@0 | 69 | #errors |
| michael@0 | 70 | (1,30): expected-closing-tag-but-got-eof |
| michael@0 | 71 | #document |
| michael@0 | 72 | | <!DOCTYPE html> |
| michael@0 | 73 | | <html> |
| michael@0 | 74 | | <head> |
| michael@0 | 75 | | <body> |
| michael@0 | 76 | | <p> |
| michael@0 | 77 | | <button> |
| michael@0 | 78 | | <ul> |
| michael@0 | 79 | |
| michael@0 | 80 | #data |
| michael@0 | 81 | <!doctype html><p><button><h1> |
| michael@0 | 82 | #errors |
| michael@0 | 83 | (1,30): expected-closing-tag-but-got-eof |
| michael@0 | 84 | #document |
| michael@0 | 85 | | <!DOCTYPE html> |
| michael@0 | 86 | | <html> |
| michael@0 | 87 | | <head> |
| michael@0 | 88 | | <body> |
| michael@0 | 89 | | <p> |
| michael@0 | 90 | | <button> |
| michael@0 | 91 | | <h1> |
| michael@0 | 92 | |
| michael@0 | 93 | #data |
| michael@0 | 94 | <!doctype html><p><button><h6> |
| michael@0 | 95 | #errors |
| michael@0 | 96 | (1,30): expected-closing-tag-but-got-eof |
| michael@0 | 97 | #document |
| michael@0 | 98 | | <!DOCTYPE html> |
| michael@0 | 99 | | <html> |
| michael@0 | 100 | | <head> |
| michael@0 | 101 | | <body> |
| michael@0 | 102 | | <p> |
| michael@0 | 103 | | <button> |
| michael@0 | 104 | | <h6> |
| michael@0 | 105 | |
| michael@0 | 106 | #data |
| michael@0 | 107 | <!doctype html><p><button><listing> |
| michael@0 | 108 | #errors |
| michael@0 | 109 | (1,35): expected-closing-tag-but-got-eof |
| michael@0 | 110 | #document |
| michael@0 | 111 | | <!DOCTYPE html> |
| michael@0 | 112 | | <html> |
| michael@0 | 113 | | <head> |
| michael@0 | 114 | | <body> |
| michael@0 | 115 | | <p> |
| michael@0 | 116 | | <button> |
| michael@0 | 117 | | <listing> |
| michael@0 | 118 | |
| michael@0 | 119 | #data |
| michael@0 | 120 | <!doctype html><p><button><pre> |
| michael@0 | 121 | #errors |
| michael@0 | 122 | (1,31): expected-closing-tag-but-got-eof |
| michael@0 | 123 | #document |
| michael@0 | 124 | | <!DOCTYPE html> |
| michael@0 | 125 | | <html> |
| michael@0 | 126 | | <head> |
| michael@0 | 127 | | <body> |
| michael@0 | 128 | | <p> |
| michael@0 | 129 | | <button> |
| michael@0 | 130 | | <pre> |
| michael@0 | 131 | |
| michael@0 | 132 | #data |
| michael@0 | 133 | <!doctype html><p><button><form> |
| michael@0 | 134 | #errors |
| michael@0 | 135 | (1,32): expected-closing-tag-but-got-eof |
| michael@0 | 136 | #document |
| michael@0 | 137 | | <!DOCTYPE html> |
| michael@0 | 138 | | <html> |
| michael@0 | 139 | | <head> |
| michael@0 | 140 | | <body> |
| michael@0 | 141 | | <p> |
| michael@0 | 142 | | <button> |
| michael@0 | 143 | | <form> |
| michael@0 | 144 | |
| michael@0 | 145 | #data |
| michael@0 | 146 | <!doctype html><p><button><li> |
| michael@0 | 147 | #errors |
| michael@0 | 148 | (1,30): expected-closing-tag-but-got-eof |
| michael@0 | 149 | #document |
| michael@0 | 150 | | <!DOCTYPE html> |
| michael@0 | 151 | | <html> |
| michael@0 | 152 | | <head> |
| michael@0 | 153 | | <body> |
| michael@0 | 154 | | <p> |
| michael@0 | 155 | | <button> |
| michael@0 | 156 | | <li> |
| michael@0 | 157 | |
| michael@0 | 158 | #data |
| michael@0 | 159 | <!doctype html><p><button><dd> |
| michael@0 | 160 | #errors |
| michael@0 | 161 | (1,30): expected-closing-tag-but-got-eof |
| michael@0 | 162 | #document |
| michael@0 | 163 | | <!DOCTYPE html> |
| michael@0 | 164 | | <html> |
| michael@0 | 165 | | <head> |
| michael@0 | 166 | | <body> |
| michael@0 | 167 | | <p> |
| michael@0 | 168 | | <button> |
| michael@0 | 169 | | <dd> |
| michael@0 | 170 | |
| michael@0 | 171 | #data |
| michael@0 | 172 | <!doctype html><p><button><dt> |
| michael@0 | 173 | #errors |
| michael@0 | 174 | (1,30): expected-closing-tag-but-got-eof |
| michael@0 | 175 | #document |
| michael@0 | 176 | | <!DOCTYPE html> |
| michael@0 | 177 | | <html> |
| michael@0 | 178 | | <head> |
| michael@0 | 179 | | <body> |
| michael@0 | 180 | | <p> |
| michael@0 | 181 | | <button> |
| michael@0 | 182 | | <dt> |
| michael@0 | 183 | |
| michael@0 | 184 | #data |
| michael@0 | 185 | <!doctype html><p><button><plaintext> |
| michael@0 | 186 | #errors |
| michael@0 | 187 | (1,37): expected-closing-tag-but-got-eof |
| michael@0 | 188 | #document |
| michael@0 | 189 | | <!DOCTYPE html> |
| michael@0 | 190 | | <html> |
| michael@0 | 191 | | <head> |
| michael@0 | 192 | | <body> |
| michael@0 | 193 | | <p> |
| michael@0 | 194 | | <button> |
| michael@0 | 195 | | <plaintext> |
| michael@0 | 196 | |
| michael@0 | 197 | #data |
| michael@0 | 198 | <!doctype html><p><button><table> |
| michael@0 | 199 | #errors |
| michael@0 | 200 | (1,33): eof-in-table |
| michael@0 | 201 | #document |
| michael@0 | 202 | | <!DOCTYPE html> |
| michael@0 | 203 | | <html> |
| michael@0 | 204 | | <head> |
| michael@0 | 205 | | <body> |
| michael@0 | 206 | | <p> |
| michael@0 | 207 | | <button> |
| michael@0 | 208 | | <table> |
| michael@0 | 209 | |
| michael@0 | 210 | #data |
| michael@0 | 211 | <!doctype html><p><button><hr> |
| michael@0 | 212 | #errors |
| michael@0 | 213 | (1,30): expected-closing-tag-but-got-eof |
| michael@0 | 214 | #document |
| michael@0 | 215 | | <!DOCTYPE html> |
| michael@0 | 216 | | <html> |
| michael@0 | 217 | | <head> |
| michael@0 | 218 | | <body> |
| michael@0 | 219 | | <p> |
| michael@0 | 220 | | <button> |
| michael@0 | 221 | | <hr> |
| michael@0 | 222 | |
| michael@0 | 223 | #data |
| michael@0 | 224 | <!doctype html><p><button><xmp> |
| michael@0 | 225 | #errors |
| michael@0 | 226 | (1,31): expected-named-closing-tag-but-got-eof |
| michael@0 | 227 | (1,31): expected-closing-tag-but-got-eof |
| michael@0 | 228 | #document |
| michael@0 | 229 | | <!DOCTYPE html> |
| michael@0 | 230 | | <html> |
| michael@0 | 231 | | <head> |
| michael@0 | 232 | | <body> |
| michael@0 | 233 | | <p> |
| michael@0 | 234 | | <button> |
| michael@0 | 235 | | <xmp> |
| michael@0 | 236 | |
| michael@0 | 237 | #data |
| michael@0 | 238 | <!doctype html><p><button></p> |
| michael@0 | 239 | #errors |
| michael@0 | 240 | (1,30): unexpected-end-tag |
| michael@0 | 241 | (1,30): expected-closing-tag-but-got-eof |
| michael@0 | 242 | #document |
| michael@0 | 243 | | <!DOCTYPE html> |
| michael@0 | 244 | | <html> |
| michael@0 | 245 | | <head> |
| michael@0 | 246 | | <body> |
| michael@0 | 247 | | <p> |
| michael@0 | 248 | | <button> |
| michael@0 | 249 | | <p> |
| michael@0 | 250 | |
| michael@0 | 251 | #data |
| michael@0 | 252 | <!doctype html><address><button></address>a |
| michael@0 | 253 | #errors |
| michael@0 | 254 | (1,42): end-tag-too-early |
| michael@0 | 255 | #document |
| michael@0 | 256 | | <!DOCTYPE html> |
| michael@0 | 257 | | <html> |
| michael@0 | 258 | | <head> |
| michael@0 | 259 | | <body> |
| michael@0 | 260 | | <address> |
| michael@0 | 261 | | <button> |
| michael@0 | 262 | | "a" |
| michael@0 | 263 | |
| michael@0 | 264 | #data |
| michael@0 | 265 | <!doctype html><address><button></address>a |
| michael@0 | 266 | #errors |
| michael@0 | 267 | (1,42): end-tag-too-early |
| michael@0 | 268 | #document |
| michael@0 | 269 | | <!DOCTYPE html> |
| michael@0 | 270 | | <html> |
| michael@0 | 271 | | <head> |
| michael@0 | 272 | | <body> |
| michael@0 | 273 | | <address> |
| michael@0 | 274 | | <button> |
| michael@0 | 275 | | "a" |
| michael@0 | 276 | |
| michael@0 | 277 | #data |
| michael@0 | 278 | <p><table></p> |
| michael@0 | 279 | #errors |
| michael@0 | 280 | (1,3): expected-doctype-but-got-start-tag |
| michael@0 | 281 | (1,14): unexpected-end-tag-implies-table-voodoo |
| michael@0 | 282 | (1,14): unexpected-end-tag |
| michael@0 | 283 | (1,14): eof-in-table |
| michael@0 | 284 | #document |
| michael@0 | 285 | | <html> |
| michael@0 | 286 | | <head> |
| michael@0 | 287 | | <body> |
| michael@0 | 288 | | <p> |
| michael@0 | 289 | | <p> |
| michael@0 | 290 | | <table> |
| michael@0 | 291 | |
| michael@0 | 292 | #data |
| michael@0 | 293 | <!doctype html><svg> |
| michael@0 | 294 | #errors |
| michael@0 | 295 | (1,20): expected-closing-tag-but-got-eof |
| michael@0 | 296 | #document |
| michael@0 | 297 | | <!DOCTYPE html> |
| michael@0 | 298 | | <html> |
| michael@0 | 299 | | <head> |
| michael@0 | 300 | | <body> |
| michael@0 | 301 | | <svg svg> |
| michael@0 | 302 | |
| michael@0 | 303 | #data |
| michael@0 | 304 | <!doctype html><p><figcaption> |
| michael@0 | 305 | #errors |
| michael@0 | 306 | (1,30): expected-closing-tag-but-got-eof |
| michael@0 | 307 | #document |
| michael@0 | 308 | | <!DOCTYPE html> |
| michael@0 | 309 | | <html> |
| michael@0 | 310 | | <head> |
| michael@0 | 311 | | <body> |
| michael@0 | 312 | | <p> |
| michael@0 | 313 | | <figcaption> |
| michael@0 | 314 | |
| michael@0 | 315 | #data |
| michael@0 | 316 | <!doctype html><p><summary> |
| michael@0 | 317 | #errors |
| michael@0 | 318 | (1,27): expected-closing-tag-but-got-eof |
| michael@0 | 319 | #document |
| michael@0 | 320 | | <!DOCTYPE html> |
| michael@0 | 321 | | <html> |
| michael@0 | 322 | | <head> |
| michael@0 | 323 | | <body> |
| michael@0 | 324 | | <p> |
| michael@0 | 325 | | <summary> |
| michael@0 | 326 | |
| michael@0 | 327 | #data |
| michael@0 | 328 | <!doctype html><form><table><form> |
| michael@0 | 329 | #errors |
| michael@0 | 330 | (1,34): unexpected-form-in-table |
| michael@0 | 331 | (1,34): eof-in-table |
| michael@0 | 332 | #document |
| michael@0 | 333 | | <!DOCTYPE html> |
| michael@0 | 334 | | <html> |
| michael@0 | 335 | | <head> |
| michael@0 | 336 | | <body> |
| michael@0 | 337 | | <form> |
| michael@0 | 338 | | <table> |
| michael@0 | 339 | |
| michael@0 | 340 | #data |
| michael@0 | 341 | <!doctype html><table><form><form> |
| michael@0 | 342 | #errors |
| michael@0 | 343 | (1,28): unexpected-form-in-table |
| michael@0 | 344 | (1,34): unexpected-form-in-table |
| michael@0 | 345 | (1,34): eof-in-table |
| michael@0 | 346 | #document |
| michael@0 | 347 | | <!DOCTYPE html> |
| michael@0 | 348 | | <html> |
| michael@0 | 349 | | <head> |
| michael@0 | 350 | | <body> |
| michael@0 | 351 | | <table> |
| michael@0 | 352 | | <form> |
| michael@0 | 353 | |
| michael@0 | 354 | #data |
| michael@0 | 355 | <!doctype html><table><form></table><form> |
| michael@0 | 356 | #errors |
| michael@0 | 357 | (1,28): unexpected-form-in-table |
| michael@0 | 358 | (1,42): unexpected-start-tag |
| michael@0 | 359 | #document |
| michael@0 | 360 | | <!DOCTYPE html> |
| michael@0 | 361 | | <html> |
| michael@0 | 362 | | <head> |
| michael@0 | 363 | | <body> |
| michael@0 | 364 | | <table> |
| michael@0 | 365 | | <form> |
| michael@0 | 366 | |
| michael@0 | 367 | #data |
| michael@0 | 368 | <!doctype html><svg><foreignObject><p> |
| michael@0 | 369 | #errors |
| michael@0 | 370 | (1,38): expected-closing-tag-but-got-eof |
| michael@0 | 371 | #document |
| michael@0 | 372 | | <!DOCTYPE html> |
| michael@0 | 373 | | <html> |
| michael@0 | 374 | | <head> |
| michael@0 | 375 | | <body> |
| michael@0 | 376 | | <svg svg> |
| michael@0 | 377 | | <svg foreignObject> |
| michael@0 | 378 | | <p> |
| michael@0 | 379 | |
| michael@0 | 380 | #data |
| michael@0 | 381 | <!doctype html><svg><title>abc |
| michael@0 | 382 | #errors |
| michael@0 | 383 | (1,30): expected-closing-tag-but-got-eof |
| michael@0 | 384 | #document |
| michael@0 | 385 | | <!DOCTYPE html> |
| michael@0 | 386 | | <html> |
| michael@0 | 387 | | <head> |
| michael@0 | 388 | | <body> |
| michael@0 | 389 | | <svg svg> |
| michael@0 | 390 | | <svg title> |
| michael@0 | 391 | | "abc" |
| michael@0 | 392 | |
| michael@0 | 393 | #data |
| michael@0 | 394 | <option><span><option> |
| michael@0 | 395 | #errors |
| michael@0 | 396 | (1,8): expected-doctype-but-got-start-tag |
| michael@0 | 397 | (1,22): expected-closing-tag-but-got-eof |
| michael@0 | 398 | #document |
| michael@0 | 399 | | <html> |
| michael@0 | 400 | | <head> |
| michael@0 | 401 | | <body> |
| michael@0 | 402 | | <option> |
| michael@0 | 403 | | <span> |
| michael@0 | 404 | | <option> |
| michael@0 | 405 | |
| michael@0 | 406 | #data |
| michael@0 | 407 | <option><option> |
| michael@0 | 408 | #errors |
| michael@0 | 409 | (1,8): expected-doctype-but-got-start-tag |
| michael@0 | 410 | (1,16): expected-closing-tag-but-got-eof |
| michael@0 | 411 | #document |
| michael@0 | 412 | | <html> |
| michael@0 | 413 | | <head> |
| michael@0 | 414 | | <body> |
| michael@0 | 415 | | <option> |
| michael@0 | 416 | | <option> |
| michael@0 | 417 | |
| michael@0 | 418 | #data |
| michael@0 | 419 | <math><annotation-xml><div> |
| michael@0 | 420 | #errors |
| michael@0 | 421 | (1,6): expected-doctype-but-got-start-tag |
| michael@0 | 422 | (1,27): unexpected-html-element-in-foreign-content |
| michael@0 | 423 | (1,27): expected-closing-tag-but-got-eof |
| michael@0 | 424 | #document |
| michael@0 | 425 | | <html> |
| michael@0 | 426 | | <head> |
| michael@0 | 427 | | <body> |
| michael@0 | 428 | | <math math> |
| michael@0 | 429 | | <math annotation-xml> |
| michael@0 | 430 | | <div> |
| michael@0 | 431 | |
| michael@0 | 432 | #data |
| michael@0 | 433 | <math><annotation-xml encoding="application/svg+xml"><div> |
| michael@0 | 434 | #errors |
| michael@0 | 435 | (1,6): expected-doctype-but-got-start-tag |
| michael@0 | 436 | (1,58): unexpected-html-element-in-foreign-content |
| michael@0 | 437 | (1,58): expected-closing-tag-but-got-eof |
| michael@0 | 438 | #document |
| michael@0 | 439 | | <html> |
| michael@0 | 440 | | <head> |
| michael@0 | 441 | | <body> |
| michael@0 | 442 | | <math math> |
| michael@0 | 443 | | <math annotation-xml> |
| michael@0 | 444 | | encoding="application/svg+xml" |
| michael@0 | 445 | | <div> |
| michael@0 | 446 | |
| michael@0 | 447 | #data |
| michael@0 | 448 | <math><annotation-xml encoding="application/xhtml+xml"><div> |
| michael@0 | 449 | #errors |
| michael@0 | 450 | (1,6): expected-doctype-but-got-start-tag |
| michael@0 | 451 | (1,60): expected-closing-tag-but-got-eof |
| michael@0 | 452 | #document |
| michael@0 | 453 | | <html> |
| michael@0 | 454 | | <head> |
| michael@0 | 455 | | <body> |
| michael@0 | 456 | | <math math> |
| michael@0 | 457 | | <math annotation-xml> |
| michael@0 | 458 | | encoding="application/xhtml+xml" |
| michael@0 | 459 | | <div> |
| michael@0 | 460 | |
| michael@0 | 461 | #data |
| michael@0 | 462 | <math><annotation-xml encoding="aPPlication/xhtmL+xMl"><div> |
| michael@0 | 463 | #errors |
| michael@0 | 464 | (1,6): expected-doctype-but-got-start-tag |
| michael@0 | 465 | (1,60): expected-closing-tag-but-got-eof |
| michael@0 | 466 | #document |
| michael@0 | 467 | | <html> |
| michael@0 | 468 | | <head> |
| michael@0 | 469 | | <body> |
| michael@0 | 470 | | <math math> |
| michael@0 | 471 | | <math annotation-xml> |
| michael@0 | 472 | | encoding="aPPlication/xhtmL+xMl" |
| michael@0 | 473 | | <div> |
| michael@0 | 474 | |
| michael@0 | 475 | #data |
| michael@0 | 476 | <math><annotation-xml encoding="text/html"><div> |
| michael@0 | 477 | #errors |
| michael@0 | 478 | (1,6): expected-doctype-but-got-start-tag |
| michael@0 | 479 | (1,48): expected-closing-tag-but-got-eof |
| michael@0 | 480 | #document |
| michael@0 | 481 | | <html> |
| michael@0 | 482 | | <head> |
| michael@0 | 483 | | <body> |
| michael@0 | 484 | | <math math> |
| michael@0 | 485 | | <math annotation-xml> |
| michael@0 | 486 | | encoding="text/html" |
| michael@0 | 487 | | <div> |
| michael@0 | 488 | |
| michael@0 | 489 | #data |
| michael@0 | 490 | <math><annotation-xml encoding="Text/htmL"><div> |
| michael@0 | 491 | #errors |
| michael@0 | 492 | (1,6): expected-doctype-but-got-start-tag |
| michael@0 | 493 | (1,48): expected-closing-tag-but-got-eof |
| michael@0 | 494 | #document |
| michael@0 | 495 | | <html> |
| michael@0 | 496 | | <head> |
| michael@0 | 497 | | <body> |
| michael@0 | 498 | | <math math> |
| michael@0 | 499 | | <math annotation-xml> |
| michael@0 | 500 | | encoding="Text/htmL" |
| michael@0 | 501 | | <div> |
| michael@0 | 502 | |
| michael@0 | 503 | #data |
| michael@0 | 504 | <math><annotation-xml encoding=" text/html "><div> |
| michael@0 | 505 | #errors |
| michael@0 | 506 | (1,6): expected-doctype-but-got-start-tag |
| michael@0 | 507 | (1,50): unexpected-html-element-in-foreign-content |
| michael@0 | 508 | (1,50): expected-closing-tag-but-got-eof |
| michael@0 | 509 | #document |
| michael@0 | 510 | | <html> |
| michael@0 | 511 | | <head> |
| michael@0 | 512 | | <body> |
| michael@0 | 513 | | <math math> |
| michael@0 | 514 | | <math annotation-xml> |
| michael@0 | 515 | | encoding=" text/html " |
| michael@0 | 516 | | <div> |
