002d6f98
002d6f98 SwitchTable
002d6f98 0x3a0 0x13d156 0x10019 0x468 0x13d13c 0x10019 0x2e0 0x13d120
002d6fd8
002d6fd8 19 00 00 00 fc 00 00 00 ........
002d6fe0 cd d0 13 00 00 00 00 00 29 00 02 00 00 00 08 00 ........).......
002d6ff0 e0 06 00 00 00 00 00 00 bc d0 13 00 00 00 00 00 ................
002d7000 29 00 02 00 00 00 08 00 58 00 00 00 00 00 00 00 ).......X.......
002d7010 a9 d0 13 00 00 00 00 00 29 00 02 00 00 00 08 00 ........).......
002d7020 68 03 00 00 00 00 00 00 9f d0 13 00 00 00 00 00 h...............
002d7030 29 00 02 00 00 00 08 00 c8 01 00 00 00 00 00 00 )...............
002d7040 8d d0 13 00 00 00 00 00 29 00 03 00 00 00 08 00 ........).......
002d7050 10 00 00 00 ac 01 00 00 ........
002d7058
002d7058 SwitchTable
002d7058 0x914 0xa70 0x904 0x958 0x8dc 0x8ec 0x818 0x810
002d7098 0x968 0x810 0x984 0xa04 0x7e8 0x7e0 0x7e8 0x9e4
002d70d8 0x6d8 0x9b8 0x844 0x7f4 0x778 0x7b0 0x7dc 0x790
002d7118 0x980 0x790 0x778 0x814 0x794 0x78c 0x8e4 0x7f4
002d7158 0x870
002d7160
002d7160 40 07 00 fc @...
002d7164
002d7164 SwitchTable
002d7164 0x94c 0x7a4 0x738 0x918 0x6e8 0x854 0x8e8 0x914
002d71a4 0x90c 0x6f0 0x8c8 0x8f4 0x800 0x714 0x728 0x6d0
002d71e4 0x7e0 0x824 0x6b8 0x8d0 0x7f8 0x75c 0x698 0x690
002d7224 0x648 0x69c 0x75c 0x630
002d7244
002d7244 80 04 b0 11 80 07 00 54 .......T
002d724c
002d724c SwitchTable
002d724c 0x7c4 0x68c 0x854 0x760 0x674 0x788 0x630 0x778
002d728c 0x654 0x81c 0x610 0x508 0x51c
002d72b4
002d72b4 20 55 e0 1b 48 07 00 a0 U..H...
002d72bc
002d72bc SwitchTable
002d72bc 0x5f0 0x738 0x5a0 0x4d8
002d72dc
002d72dc d0 10 50 01 ..P.
002d72e0 c0 05 00 88 38 34 b2 0a b0 07 00 00 58 18 f8 0d ....84......X...
002d72f0 f8 04 00 00 e0 19 f0 10 a8 05 00 28 ...........(
002d72fc
002d72fc SwitchTable
002d72fc 0x7b4 0x598 0x788 0x79c 0x70c 0x61c 0x614 0x478
002d733c 0x62c 0x558 0x560 0x558 0x550 0x730 0x728 0x73c
002d737c 0x5c4 0x748 0x638 0x4c0 0x6c4 0x5dc 0x664 0x4e8
002d73bc 0x6f4 0x64c 0x430 0x498 0x6d4 0x4fc 0x4b0 0x4b8
002d73fc 0x6b4 0x498 0x460 0x398
002d741c
002d741c 70 15 30 01 p.0.
002d7420 c4 04 00 10 ....
002d7424
002d7424 SwitchTable
002d7424 0x3c0 0x5b4 0x590 0x48c 0x428 0x664 0x458 0x484
002d7464
002d7464 58 19 d8 05 38 04 00 20 X...8..
002d746c
002d746c SwitchTable
002d746c 0x440 0x428 0x430 0x3e8 0x3e0 0x44c
002d749c
002d749c e8 18 48 06 ..H.
002d74a0 60 05 00 14 `...
002d74a4
002d74a4 SwitchTable
002d74a4 0x408 0x5e8 0x3b8 0x424 0x3d8 0x3e0 0x3c8 0x5d4
002d74e4 0x388 0x394 0x4b4 0x598 0x590 0x588 0x42c 0x390
002d7524 0x2f0 0x584 0x490 0x330
002d7544
002d7544 28 05 c0 11 3c 04 00 58 89 38 bb 0f (...<..X.8..
002d7550 20 03 00 00 10 05 c8 11 8c 03 00 00 98 19 f0 05 ...............
002d7560 40 03 00 14 @...
002d7564
002d7564 SwitchTable
002d7564 0x498 0x414 0x520 0x480 0x40c 0x2e0 0x430 0x4a4
002d75a4 0x358
002d75ac
002d75ac 10 55 40 09 .U@.
002d75b0 50 04 00 20 P..
002d75b4
002d75b4 SwitchTable
002d75b4 0x4e0 0x2f0 0x4ec 0x444 0x43c 0x290 0x2c8 0x4c4
002d75f4 0x2ec 0x270 0x298 0x488 0x2cc 0x290 0x288 0x3d0
002d7634 0x2ac
002d763c
002d763c 78 10 20 06 x. .
002d7640 58 04 00 d0 X...
002d7644
002d7644 SwitchTable
002d7644 0x450 0x250 0x274 0x438 0x44c 0x200
002d7674
002d7674 68 71 78 11 f4 02 00 20 hqx....
002d767c
002d767c SwitchTable
002d767c 0x348 0x1d0 0x370 0x208 0x360 0x3f0 0x1c0 0x348
002d76bc 0x3d8 0x3ec 0x400 0x1ac 0x3a0 0x3b0 0x3a8 0x308
002d76fc 0x398 0x1a8 0x388 0x39c 0x150 0x188 0x128 0x2c8
002d773c 0x2c0
002d7744
002d7744 e0 48 10 0b b8 02 00 f8 .H......
002d774c
002d774c SwitchTable
002d774c 0x120 0xe4 0x184 0x34c 0x328
002d7774
002d7774 f0 69 28 0e .i(.
002d7778
002d7778 string "stdlib.ml",0
002d7782
002d7782 string "mathML.ml",0
002d778c
002d778c string "printf.ml",0
002d7796
002d7796 string "string.ml",0
002d77a0
002d77a0 string "htmlCommon.ml",0
002d77ae
002d77ae 00 00 ..
002d77b0 d2 ff ff ff 4d 61 74 68 4d 4c 2e 65 6e 64 5f 69 ....MathML.end_i
002d77c0 74 65 6d 5f 64 69 73 70 6c 61 79 00 d4 ff ff ff tem_display.....
002d77d0 48 74 6d 6c 43 6f 6d 6d 6f 6e 2e 64 6f 5f 70 65 HtmlCommon.do_pe
002d77e0 6e 64 69 6e 67 00 00 00 9a ff ff ff 4d 61 74 68 nding.......Math
002d77f0 4d 4c 2e 6c 65 66 74 2e 28 66 75 6e 29 00 00 00 ML.left.(fun)...
002d7800 82 ff ff ff 4d 61 74 68 4d 4c 2e 6f 70 65 6e 5f ....MathML.open_
002d7810 64 65 6c 69 6d 00 00 00 6a ff ff ff 4d 00 76 00 delim...j...M.v.
002d7820 76 00 00 00 4d 61 74 68 4d 4c 2e 64 6f 5f 69 74 v...MathML.do_it
002d7830 65 6d 5f 64 69 73 70 6c 61 79 00 00 64 ff ff ff em_display..d...
002d7840 48 74 6d 6c 43 6f 6d 6d 6f 6e 2e 63 6c 6f 73 65 HtmlCommon.close
002d7850 5f 62 6c 6f 63 6b 00 00 2a ff ff ff 4d 61 74 68 _block..*...Math
002d7860 4d 4c 2e 63 6c 6f 73 65 5f 64 65 6c 69 6d 00 00 ML.close_delim..
002d7870 12 ff ff ff 4d 61 74 68 4d 4c 2e 72 69 67 68 74 ....MathML.right
002d7880 00 00 00 00 fe fe ff ff 4d 61 74 68 4d 4c 2e 65 ........MathML.e
002d7890 72 61 73 65 5f 64 69 73 70 6c 61 79 00 00 00 00 rase_display....
002d78a0 e2 fe ff ff 4d 61 74 68 4d 4c 2e 70 75 74 00 00 ....MathML.put..
002d78b0 d2 fe ff ff 4d 61 74 68 4d 4c 2e 63 6c 6f 73 65 ....MathML.close
002d78c0 5f 64 69 73 70 6c 61 79 00 00 00 00 b6 fe ff ff _display........
002d78d0 4d 61 74 68 4d 4c 2e 63 6c 6f 73 65 5f 6d 61 74 MathML.close_mat
002d78e0 68 73 00 00 9e fe ff ff 4d 61 74 68 4d 4c 2e 69 hs......MathML.i
002d78f0 6e 73 65 72 74 5f 76 64 69 73 70 6c 61 79 00 00 nsert_vdisplay..
002d7900 82 fe ff ff 4d 61 74 68 4d 4c 2e 69 73 5f 63 6c ....MathML.is_cl
002d7910 6f 73 65 00 82 fe ff ff 53 74 64 6c 69 62 5f 5f ose.....Stdlib__
002d7920 53 74 72 69 6e 67 2e 6d 61 6b 65 00 56 fe ff ff String.make.V...
002d7930 4d 61 74 68 4d 4c 2e 69 73 5f 6e 75 6d 62 65 72 MathML.is_number
002d7940 00 00 00 00 3e fe ff ff 4d 61 74 68 4d 4c 2e 6c ....>...MathML.l
002d7950 65 66 74 00 24 fe ff ff 53 74 64 6c 69 62 2e 70 eft.$...Stdlib.p
002d7960 72 65 72 72 5f 73 74 72 69 6e 67 00 16 fe ff ff rerr_string.....
002d7970 4d 61 74 68 4d 4c 2e 6f 70 65 6e 5f 64 69 73 70 MathML.open_disp
002d7980 6c 61 79 00 fe fd ff ff 4d 61 74 68 4d 4c 2e 6f lay.....MathML.o
002d7990 76 65 72 00 ee fd ff ff 4d 61 74 68 4d 4c 2e 6f ver.....MathML.o
002d79a0 76 65 72 2e 28 66 75 6e 29 00 00 00 d6 fd ff ff ver.(fun).......
002d79b0 4d 61 74 68 4d 4c 2e 6f 70 65 6e 5f 64 65 6c 69 MathML.open_deli
002d79c0 6d 2e 28 66 75 6e 29 00 ba fd ff ff 4d 61 74 68 m.(fun).....Math
002d79d0 4d 4c 2e 64 6f 5f 69 74 65 6d 5f 64 69 73 70 6c ML.do_item_displ
002d79e0 61 79 00 00 bc fd ff ff 48 74 6d 6c 43 6f 6d 6d ay......HtmlComm
002d79f0 6f 6e 2e 74 6f 5f 70 65 6e 64 69 6e 67 00 00 00 on.to_pending...
002d7a00 82 fd ff ff 4d 61 74 68 4d 4c 2e 70 75 74 5f 63 ....MathML.put_c
002d7a10 68 61 72 00 6e fd ff ff 4d 61 74 68 4d 4c 2e 6f har.n...MathML.o
002d7a20 70 65 6e 5f 6d 61 74 68 73 00 00 00 56 fd ff ff pen_maths...V...
002d7a30 4d 61 74 68 4d 4c 2e 70 75 74 5f 69 6e 5f 6d 61 MathML.put_in_ma
002d7a40 74 68 00 00 3e fd ff ff 4d 61 74 68 4d 4c 2e 66 th..>...MathML.f
002d7a50 6f 72 63 65 5f 69 74 65 6d 5f 64 69 73 70 6c 61 orce_item_displa
002d7a60 79 00 00 00 28 fd ff ff 53 74 64 6c 69 62 5f 5f y...(...Stdlib__
002d7a70 50 72 69 6e 74 66 2e 65 70 72 69 6e 74 66 00 00 Printf.eprintf..
002d7a80 02 fd ff ff 4d 61 74 68 4d 4c 2e 70 75 74 5f 73 ....MathML.put_s
002d7a90 75 70 5f 73 75 62 00 00 ea fc ff ff 4d 61 74 68 up_sub......Math
002d7aa0 4d 4c 2e 73 74 61 6e 64 61 72 64 5f 73 75 70 5f ML.standard_sup_
002d7ab0 73 75 62 00 ce fc ff ff 4d 61 74 68 4d 4c 2e 6c sub.....MathML.l
002d7ac0 69 6d 69 74 5f 73 75 70 5f 73 75 62 00 00 00 00 imit_sup_sub....
002d7ad0 b2 fc ff ff 4d 61 74 68 4d 4c 2e 62 65 67 69 6e ....MathML.begin
002d7ae0 5f 69 74 65 6d 5f 64 69 73 70 6c 61 79 00 00 00 _item_display...
002d7af0
002d7af0 SwitchTable
002d7af0 0xbf7 0x140670 0x5 0xbf7 0x1407c0 0x5 0xff7 0xf7020
002d7b30 0x7 0x1406a0 0xff7 0xf7020 0x7 0x1408f0 0xbf7 0x140a00
002d7b70 0x5 0xbf7 0x140a10 0x5 0xbf7 0x141030 0x5 0xbf7
002d7bb0 0x141480 0x5 0xbf7 0x141470 0x5 0xbf7 0x141490 0x5
002d7bf0 0xbf7 0x1414e0 0x5 0xbf7 0x1415b0 0x5 0xbf7 0x1417d0
002d7c30 0x5 0xff7 0xf7020 0x7 0x141750 0xbf7 0x1416f0 0x5
002d7c70 0xff7 0xf7020 0x7 0x141620 0xff7 0xf6f30 0x7 0x141850
002d7cb0 0xff7 0xf7020 0x7 0x141900 0xff7 0xf6b90 0x7 0x141a40
002d7cf0 0xff7 0xf6b90 0x7 0x141ce0 0xff7 0xf6520 0x7 0x141f30
002d7d30 0xbf7 0x1421e0 0x5 0xbf7 0x1425b0 0x5 0xbf7 0x142610
002d7d70 0x5 0xff7 0xf6f30 0x7 0x142700 0xff7 0xf7020 0x7
002d7db0 0x142850 0xbf7 0x142830 0x5 0xbf7 0x142840 0x5 0xbf7
002d7df0 0x1426d0 0x5 0xbf7 0x142690 0x5 0xbf7 0x1428e0 0x5
002d7e30 0xbf7 0x140190 0x5 0xbf7 0x1402d0 0x5 0xbf7 0x140520
002d7e70 0x5 0xbf7 0x1405d0 0x5 0x8b00 0x1 0x1 0x1
002d7eb0 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002d7ef0 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002d7f30 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002d7f70 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x2d7e98
002d7fb0
002d7fb0 00 00 00 00 00 00 00 00 fc 0b 00 00 00 00 00 00 ................
002d7fc0
002d7fc0 string "<= flush",0 ← 0x1404dd
002d7fc9
002d7fc9 00 00 00 00 00 00 07 .......
002d7fd0 fc 13 00 00 00 00 00 00 ........
002d7fd8
002d7fd8 string "html: Flush attempt on: ",0 ← 0x140355
002d7ff1
002d7ff1 00 00 00 00 00 00 07 fc 0b 00 00 00 00 00 00 ...............
002d8000
002d8000 string "class=\"hrule\"",0 ← 0x1425cf
002d800e
002d800e 00 02 ..
002d8010 fc 17 00 00 00 00 00 00 ........
002d8018
002d8018 string "\\over should be properly parenthesized",0 ← 0x142542
002d803f
002d803f 01 .
002d8040 fc 0f 00 00 00 00 00 00 ........
002d8048
002d8048 string "<= insert_vdisplay",0 ← 0x1424f3
002d805b
002d805b 00 00 00 00 05 .....
002d8060 fc 0f 00 00 00 00 00 00 ........
002d8068
002d8068 ; insert_vdisplay -> ← 0x142491
002d8068 69 6e 73 65 72 74 5f 76 insert_v
002d8070 64 69 73 70 disp
002d8074
002d8074 SwitchTable
002d8074 0x203e2d 0x7fc 0x2727 0xbfc
002d8094
002d8094 00 00 00 00 ....
002d8098
002d8098 string "insert_vdisplay",0 ← 0x142291 0x1422c8 0x14230f
002d80a8
002d80a8 fc 0f 00 00 00 00 00 00 ........
002d80b0
002d80b0 string "=> insert_vdisplay",0 ← 0x14220f
002d80c3
002d80c3 00 00 00 00 05 fc 0f 00 00 00 00 00 00 .............
002d80d0
002d80d0 string "style=\"text-align:left\"",0 ← 0x1420ab 0x1420d2 0x142131
002d80e8
002d80e8 fc 13 00 00 00 00 00 00 ........
002d80f0
002d80f0 string "style=\"text-align:center\"",0 ← 0x141e2e 0x141e55 0x141e81 0x142646 0x1426a8
002d810a
002d810a 00 00 00 00 00 06 ......
002d8110 fc 07 00 00 00 00 00 00 ........
002d8118
002d8118 string "sup",0 ← 0x141c67
002d811c
002d811c 00 00 00 04 ....
002d8120 fc 07 00 00 00 00 00 00 ........
002d8128
002d8128 string "sub",0 ← 0x141c57
002d812c
002d812c SwitchTable
002d812c 0x7fc 0x2f3c 0x7fc
002d8144
002d8144 00 00 00 00 ....
002d8148
002d8148 string "&nbsp;",0 ← 0x141808
002d814f
002d814f 01 .
002d8150 fc 0f 00 00 00 00 00 00 ........
002d8158
002d8158 string "close_vdisplay_row",0 ← 0x1417f2
002d816b
002d816b 00 00 00 00 05 .....
002d8170 fc 0f 00 00 00 00 00 00 ........
002d8178
002d8178 string "open_vdisplay_row",0 ← 0x14177f
002d818a
002d818a 00 00 00 00 00 06 ......
002d8190 fc 0f 00 00 00 00 00 00 ........
002d8198
002d8198 string "=> flush arg is ``",0 ← 0x140313
002d81ab
002d81ab 00 00 00 00 05 .....
002d81b0 fc 0b 00 00 00 00 00 00 ........
002d81b8
002d81b8 string "close_vdisplay",0 ← 0x141712
002d81c7
002d81c7 01 fc 13 00 00 00 00 00 00 .........
002d81d0
002d81d0 string "VDISPLAY in non-display mode",0 ← 0x14168b
002d81ed
002d81ed 00 00 03 ...
002d81f0 fc 0b 00 00 00 00 00 00 ........
002d81f8
002d81f8 string "open_vdisplay",0 ← 0x141653
002d8206
002d8206 00 02 fc 07 00 00 00 00 00 00 ..........
002d8210
002d8210 string " blank=",0 ← 0x1411c3
002d8218
002d8218 fc 0b 00 00 00 00 00 00 ........
002d8220
002d8220 string "flags: empty=",0 ← 0x141203
002d822e
002d822e 00 02 ..
002d8230 fc 07 00 00 00 00 00 00 ........
002d8238
002d8238 string "No Item",0 ← 0x14118e
002d8240
002d8240 fc 0f 00 00 00 00 00 00 ........
002d8248
002d8248 string "Added Item to Display",0 ← 0x141311
002d825e
002d825e 00 02 ..
002d8260 fc 0b 00 00 00 00 00 00 ........
002d8268
002d8268 string ", force=",0 ← 0x14107b
002d8271
002d8271 00 00 00 00 00 00 07 fc 0b 00 00 00 00 00 00 ...............
002d8280
002d8280 string " table_inside=",0 ← 0x1410bb
002d828f
002d828f 01 .
002d8290 fc 0f 00 00 00 00 00 00 ........
002d8298
002d8298 string "Item Display ncols=",0 ← 0x1410f0
002d82ac
002d82ac 00 00 00 04 ....
002d82b0 fc 0b 00 00 00 00 00 00 ........
002d82b8
002d82b8 string "<= delay",0 ← 0x140291
002d82c1
002d82c1 00 00 00 00 00 00 07 fc 0f 00 00 00 00 00 00 ...............
002d82d0
002d82d0 string "<= close_display",0 ← 0x141004
002d82e1
002d82e1 00 00 00 00 00 00 07 fc 0b 00 00 00 00 00 00 ...............
002d82f0
002d82f0 string "One Display n=",0 ← 0x140f64
002d82ff
002d82ff 01 .
002d8300 fc 0b 00 00 00 00 00 00 ........
002d8308
002d8308 ; No display n=1 ← 0x140dc9
002d8308 4e 6f 20 64 69 73 70 6c No displ
002d8310 61 79 20 6e ay n
002d8314
002d8314 SwitchTable
002d8314 0x700 0x1 0xbfc
002d832c
002d832c 00 00 00 00 ....
002d8330
002d8330 string "close_display",0 ← 0x140c54 0x140ca9 0x140e72
002d833e
002d833e 00 02 ..
002d8340 fc 0b 00 00 00 00 00 00 ........
002d8348
002d8348 ; No Display n=0 ← 0x140bb8
002d8348 4e 6f 20 44 69 73 70 6c No Displ
002d8350 61 79 20 6e ay n
002d8354
002d8354 SwitchTable
002d8354 0xb00 0x2d83a0 0x2d8378 0x13fc
002d8360
002d8360 PointerTable ← camlHtmlMath.close_display_598
002d8360 0x2d83a0 0x2d8378 0x13fc
002d8378
002d8378 ; => close_display, ncols=%d
002d8378 3d 3e 20 63 6c 6f 73 65 => close
002d8380 5f 64 69 73 70 6c 61 79 2c 20 6e 63 _display, nc
002d838c
002d838c SwitchTable
002d838c 0xa6425 0xb0b 0x2d8408 0x2d83b8 0x1304 0x1 0x1 0x1
002d83cc 0x2d83f0 0x7fc
002d83a0
002d83a0 PointerTable
002d83a0 0x2d8408 0x2d83b8
002d83dc
002d83dc 00 00 00 00 ....
002d83e0
002d83e0 uint8_t g_2d83e0 ← camlHtmlMath.delay_500 camlHtmlMath.begin_item_display_546 camlHtmlMath.open_display_varg_591 camlHtmlMath.close_display_598 camlHtmlMath.do_item_display_614 camlHtmlMath.open_maths_630 camlHtmlMath.put_sup_sub_650 camlHtmlMath.reput_sup_sub_758 camlHtmlMath.standard_sup_sub_762 camlHtmlMath.limit_sup_sub_775 camlHtmlMath.int_sup_sub_786 camlHtmlMath.line_in_vdisplay_row_816 camlHtmlMath.over_819 camlHtmlMath.fun_1038
002d83e0 00 00 00 00 ....
002d83e4
002d83e4 SwitchTable
002d83e4 0xb0c 0x15 0x1 0x13fc
002d8404
002d8404 00 00 00 00 ....
002d8408
002d8408 string "=> close_display, ncols=",0
002d8421
002d8421 00 00 00 ...
002d8424
002d8424 SwitchTable
002d8424 0xb00 0x2d8448 0x2d8460 0xb0b 0x2d8460 0x1 0xffc
002d8430
002d8430 PointerTable ← camlHtmlMath.close_display_598
002d8430 0x2d8448 0x2d8460
002d845c
002d845c 00 00 00 00 ....
002d8460
002d8460 string "Just closed DFLOW ",0
002d8473
002d8473 00 00 00 00 05 fc 0f 00 00 00 00 00 00 .............
002d8480
002d8480 string "=> close_display ",0 ← 0x140a3f
002d8492
002d8492 00 00 00 00 00 06 fc 13 00 00 00 00 00 00 ..............
002d84a0
002d84a0 ; style="vertical-align:middle" ← 0x1386e0 0x140a00 0x141571 0x1417b0 0x14187a
002d84a0 73 74 79 6c 65 3d 22 76 65 72 74 69 63 61 6c 2d style="vertical-
002d84b0 61 6c 69 67 6e 3a 6d 69 64 64 6c 65 align:middle
002d84bc
002d84bc SwitchTable
002d84bc 0xb00 0x2d84e0 0x2d84f8 0xb0b 0x2d84f8 0x1 0xbfc
002d84c8
002d84c8 PointerTable ← camlHtmlMath.open_display_varg_591
002d84c8 0x2d84e0 0x2d84f8
002d84f4
002d84f4 00 00 00 00 ....
002d84f8
002d84f8 string "open_display: ",0
002d8507
002d8507 01 fc 0b 00 00 00 00 00 00 .........
002d8510
002d8510 string "=> delay",0 ← 0x1401be
002d8519
002d8519 00 00 00 ...
002d851c
002d851c SwitchTable
002d851c 0xb00 0x2d8570 0x2d8540 0x17fc
002d8528
002d8528 PointerTable ← camlHtmlMath.end_item_display_547
002d8528 0x2d8570 0x2d8540
002d853c
002d853c 00 00 00 00 ....
002d8540
002d8540 ; end_item_display: ncols=%d stck:
002d8540 65 6e 64 5f 69 74 65 6d 5f 64 69 73 70 6c 61 79 end_item_display
002d8550 3a 20 6e 63 6f 6c 73 3d 25 64 20 73 : ncols=%d s
002d855c
002d855c SwitchTable
002d855c 0x20 0xb0b 0x2d85d8 0x2d8588 0x1304 0x1 0x1 0x1
002d859c 0x2d85b0 0xb0b 0x2d85c8 0x1 0x7fc
002d8570
002d8570 PointerTable
002d8570 0x2d85d8 0x2d8588
002d85c4
002d85c4 00 00 00 00 ....
002d85c8
002d85c8 string " stck: ",0
002d85d0
002d85d0 fc 13 00 00 00 00 00 00 ........
002d85d8
002d85d8 string "end_item_display: ncols=",0
002d85f1
002d85f1 00 00 00 ...
002d85f4
002d85f4 SwitchTable
002d85f4 0xb00 0x2d8648 0x2d8618 0x17fc
002d8600
002d8600 PointerTable ← camlHtmlMath.begin_item_display_546
002d8600 0x2d8648 0x2d8618
002d8614
002d8614 00 00 00 00 ....
002d8618
002d8618 ; begin_item_display: ncols=%d empty=%s
002d8618 62 65 67 69 6e 5f 69 74 begin_it
002d8620 65 6d 5f 64 69 73 70 6c 61 79 3a 20 6e 63 6f 6c em_display: ncol
002d8630 73 3d 25 64 20 65 6d 70 74 79 3d 25 s=%d empty=%
002d863c
002d863c SwitchTable
002d863c 0xb0b 0x2d86e0 0x2d8678 0xbfc
002d8648
002d8648 PointerTable
002d8648 0x2d86e0 0x2d8678
002d865c
002d865c 00 00 00 00 ....
002d8660
002d8660 string "delay_stack",0 ← 0x142925
002d866c
002d866c SwitchTable
002d866c 0x1304 0x1 0x1 0x1 0x2d86a0 0xb0b 0x2d86d0 0x2d86b8
002d86ac 0xb02 0x1 0x1 0x7fc
002d86a0
002d86a0 PointerTable
002d86a0 0x2d86d0 0x2d86b8
002d86cc
002d86cc 00 00 00 00 ....
002d86d0
002d86d0 string " empty=",0
002d86d8
002d86d8 fc 13 00 00 00 00 00 00 ........
002d86e0
002d86e0 ; begin_item_display: ncols=
002d86e0 62 65 67 69 6e 5f 69 74 65 6d 5f 64 69 73 70 6c begin_item_displ
002d86f0 61 79 3a 20 ay:
002d86f4
002d86f4 SwitchTable
002d86f4 0x3d73 0x7fc 0x20 0xbfc
002d8714
002d8714 00 00 00 00 ....
002d8718
002d8718 string "class=\"dcell\"",0 ← 0x140604
002d8726
002d8726 00 02 fc 0b 00 00 00 00 00 00 ..........
002d8730
002d8730 string "class=\"vdcell\"",0 ← 0x1405f9
002d873f
002d873f 01 .
002d8740 fc 07 00 00 00 00 00 00 ........
002d8748
002d8748 string "</i>",0 ← 0x14058d
002d874d
002d874d 00 00 03 ...
002d8750 fc 07 00 00 00 00 00 00 ........
002d8758
002d8758 string "<i>",0 ← 0x140578
002d875c
002d875c 00 00 00 04 ....
002d8760 fc 23 00 00 00 00 00 00 .#......
002d8768
002d8768 string "$Id: htmlMath.ml,v 1.49 2012-06-05 14:55:39 maranget Exp $",0 ← 0x1428f0
002d87a3
002d87a3 00 00 00 00 05 00 00 00 00 00 00 00 00 .............
002d87b0 00 00 00 00 ....
002d87b4
002d87b4 SwitchTable
002d87b4 0x100 0x142912 0xa
002d87cc
002d87cc 01 02 00 00 ....
002d87d0 c2 28 14 00 00 00 00 00 21 00 01 00 10 00 00 00 .(......!.......
002d87e0 78 17 00 00 00 00 00 00 b0 28 14 00 00 00 00 00 x........(......
002d87f0 21 00 02 00 08 00 10 00 d8 1a 00 00 00 00 00 00 !...............
002d8800 a6 28 14 00 00 00 00 00 21 00 02 00 08 00 10 00 .(......!.......
002d8810 d0 16 00 00 00 00 00 00 9c 28 14 00 00 00 00 00 .........(......
002d8820 21 00 02 00 08 00 10 00 48 18 00 00 00 00 00 00 !.......H.......
002d8830 8e 28 14 00 00 00 00 00 21 00 03 00 00 00 08 00 .(......!.......
002d8840 10 00 00 00 fc 1a 00 00 ........
002d8848
002d8848 SwitchTable
002d8848 0x142870 0x10021 0x19d8 0x142815
002d8868
002d8868 19 00 00 00 54 18 00 00 ....T...
002d8870 0b 28 14 00 00 00 00 00 19 00 00 00 a4 15 00 00 .(..............
002d8880 f9 27 14 00 00 00 00 00 19 00 02 00 00 00 08 00 .'..............
002d8890 d8 17 00 00 00 00 00 00 e8 27 14 00 00 00 00 00 .........'......
002d88a0 19 00 02 00 00 00 08 00 30 16 00 00 00 00 00 00 ........0.......
002d88b0 de 27 14 00 00 00 00 00 19 00 02 00 00 00 08 00 .'..............
002d88c0 c8 19 00 00 00 00 00 00 cc 27 14 00 00 00 00 00 .........'......
002d88d0 19 00 02 00 00 00 08 00 00 17 00 00 00 00 00 00 ................
002d88e0 6d 27 14 00 00 00 00 00 21 00 01 00 10 00 00 00 m'......!.......
002d88f0 50 1b 00 00 00 00 00 00 88 27 14 00 00 00 00 00 P........'......
002d8900 22 00 03 00 00 00 08 00 10 00 01 03 00 00 00 00 "...............
002d8910 25 27 14 00 00 00 00 00 21 00 02 00 00 00 08 00 %'......!.......
002d8920 90 1a 00 00 00 00 00 00 e8 26 14 00 00 00 00 00 .........&......
002d8930 09 00 00 00 cc 18 00 00 a8 26 14 00 00 00 00 00 .........&......
002d8940 09 00 00 00 bc 17 00 00 6c 26 14 00 00 00 00 00 ........l&......
002d8950 11 00 00 00 bc 19 00 00 ........
002d8958
002d8958 SwitchTable
002d8958 0x142663 0x10011 0x16f8 0x142659 0x10011 0x1a28 0x142646 0x10011
002d8998 0x19e0 0x14263c 0x10011 0x1a20 0x14262e
002d89a8
002d89a8 PointerTable
002d89a8 0x10011 0x1a20
002d89c0
002d89c0 11 00 00 00 ac 19 00 00 f1 25 14 00 00 00 00 00 .........%......
002d89d0 09 00 00 00 14 18 00 00 e0 25 14 00 00 00 00 00 .........%......
002d89e0 09 00 00 00 9c 1a 00 00 cf 25 14 00 00 00 00 00 .........%......
002d89f0 09 00 00 00 94 19 00 00 7b 25 14 00 00 00 00 00 ........{%......
002d8a00 52 00 00 00 01 01 00 00 ff 24 14 00 00 00 00 00 R........$......
002d8a10 61 00 01 00 50 00 00 00 80 18 00 00 00 00 00 00 a...P...........
002d8a20 df 24 14 00 00 00 00 00 61 00 01 00 50 00 00 00 .$......a...P...
002d8a30 20 16 00 00 00 00 00 00 d5 24 14 00 00 00 00 00 ........$......
002d8a40 61 00 01 00 50 00 00 00 a...P...
002d8a48
002d8a48 SwitchTable
002d8a48 0x18d8 0x1424c8 0x20061 0x18c0 0x1424ab
002d8a70
002d8a70 61 00 01 00 50 00 00 00 c0 13 00 00 00 00 00 00 a...P...........
002d8a80 5f 24 14 00 00 00 00 00 61 00 01 00 50 00 00 00 _$......a...P...
002d8a90 e0 16 00 00 00 00 00 00 5a 24 14 00 00 00 00 00 ........Z$......
002d8aa0 61 00 01 00 50 00 00 00 a...P...
002d8aa8
002d8aa8 SwitchTable
002d8aa8 0x16f8 0x14244c 0x20061 0x1750 0x142417 0x50061
002d8ad8
002d8ad8 40 00 48 00 50 00 00 00 @.H.P...
002d8ae0
002d8ae0 SwitchTable
002d8ae0 0x1928 0x14240d 0x50061
002d8af8
002d8af8 40 00 48 00 50 00 00 00 @.H.P...
002d8b00 90 13 00 00 00 00 00 00 82 25 14 00 00 00 00 00 .........%......
002d8b10 62 00 07 00 20 00 28 00 30 00 38 00 40 00 48 00 b... .(.0.8.@.H.
002d8b20 50 00 01 02 00 00 00 00 c4 23 14 00 00 00 00 00 P........#......
002d8b30 61 00 07 00 20 00 28 00 30 00 38 00 40 00 48 00 a... .(.0.8.@.H.
002d8b40 50 00 00 00 c4 13 00 00 8c 25 14 00 00 00 00 00 P........%......
002d8b50 62 00 09 00 10 00 18 00 20 00 28 00 30 00 38 00 b....... .(.0.8.
002d8b60 40 00 48 00 50 00 01 02 7b 23 14 00 00 00 00 00 @.H.P...{#......
002d8b70 61 00 09 00 10 00 18 00 20 00 28 00 30 00 38 00 a....... .(.0.8.
002d8b80 40 00 48 00 50 00 00 00 60 13 00 00 00 00 00 00 @.H.P...`.......
002d8b90 96 25 14 00 00 00 00 00 62 00 0a 00 01 00 10 00 .%......b.......
002d8ba0 18 00 20 00 28 00 30 00 38 00 40 00 .. .(.0.8.@.
002d8bac
002d8bac SwitchTable
002d8bac 0x201 0x14232f 0x80061
002d8bc4
002d8bc4 10 00 18 00 20 00 28 00 30 00 38 00 .... .(.0.8.
002d8bd0 40 00 50 00 a4 18 00 00 1b 23 14 00 00 00 00 00 @.P......#......
002d8be0 61 00 07 00 10 00 18 00 20 00 28 00 30 00 38 00 a....... .(.0.8.
002d8bf0 50 00 00 00 54 14 00 00 e7 22 14 00 00 00 00 00 P...T...."......
002d8c00 61 00 06 00 10 00 18 00 a.......
002d8c08
002d8c08 SwitchTable
002d8c08 0x280020 0x1400 0x1422d4
002d8c20
002d8c20 61 00 06 00 10 00 18 00 a.......
002d8c28
002d8c28 SwitchTable
002d8c28 0x280020 0x13c0 0x1422b0
002d8c40
002d8c40 61 00 04 00 20 00 28 00 38 00 50 00 ec 13 00 00 a... .(.8.P.....
002d8c50 9d 22 14 00 00 00 00 00 61 00 04 00 20 00 28 00 ."......a... .(.
002d8c60 38 00 50 00 34 15 00 00 8.P.4...
002d8c68
002d8c68 SwitchTable
002d8c68 0x142279 0x20061 0x16d8 0x142261
002d8c88
002d8c88 61 00 01 00 38 00 00 00 a...8...
002d8c90
002d8c90 SwitchTable
002d8c90 0x12b0 0x142254 0x20061 0x1538 0x14221b
002d8cb8
002d8cb8 51 00 01 00 28 00 00 00 Q...(...
002d8cc0 90 12 00 00 00 00 00 00 62 21 14 00 00 00 00 00 ........b!......
002d8cd0 49 00 00 00 8c 11 00 00 58 21 14 00 00 00 00 00 I.......X!......
002d8ce0 49 00 00 00 24 16 00 00 4e 21 14 00 00 00 00 00 I...$...N!......
002d8cf0 49 00 00 00 b4 14 00 00 44 21 14 00 00 00 00 00 I.......D!......
002d8d00 49 00 01 00 30 00 00 00 b0 13 00 00 00 00 00 00 I...0...........
002d8d10 31 21 14 00 00 00 00 00 49 00 01 00 30 00 00 00 1!......I...0...
002d8d20 08 17 00 00 00 00 00 00 75 21 14 00 00 00 00 00 ........u!......
002d8d30 4a 00 02 00 08 00 30 00 00 00 00 00 00 00 00 00 J.....0.........
002d8d40 07 21 14 00 00 00 00 00 49 00 02 00 08 00 30 00 .!......I.....0.
002d8d50 d8 12 00 00 00 00 00 00 e5 20 14 00 00 00 00 00 ......... ......
002d8d60 49 00 02 00 20 00 30 00 78 13 00 00 00 00 00 00 I... .0.x.......
002d8d70 d2 20 14 00 00 00 00 00 49 00 02 00 20 00 30 00 . ......I... .0.
002d8d80 e8 15 00 00 00 00 00 00 c8 20 14 00 00 00 00 00 ......... ......
002d8d90 49 00 02 00 20 00 30 00 40 16 00 00 00 00 00 00 I... .0.@.......
002d8da0 be 20 14 00 00 00 00 00 49 00 03 00 20 00 28 00 . ......I... .(.
002d8db0 30 00 00 00 0c 11 00 00 ab 20 14 00 00 00 00 00 0........ ......
002d8dc0 49 00 03 00 20 00 28 00 30 00 00 00 8c 16 00 00 I... .(.0.......
002d8dd0 33 20 14 00 00 00 00 00 49 00 04 00 18 00 20 00 3 ......I..... .
002d8de0 28 00 30 00 74 14 00 00 29 20 14 00 00 00 00 00 (.0.t...) ......
002d8df0 49 00 04 00 18 00 20 00 28 00 30 00 0c 14 00 00 I..... .(.0.....
002d8e00 1a 20 14 00 00 00 00 00 49 00 05 00 18 00 20 00 . ......I..... .
002d8e10 28 00 30 00 38 00 00 00 40 14 00 00 00 00 00 00 (.0.8...@.......
002d8e20 fd 1f 14 00 00 00 00 00 49 00 05 00 10 00 18 00 ........I.......
002d8e30 20 00 28 00 38 00 00 00 90 14 00 00 00 00 00 00 .(.8...........
002d8e40 7c 21 14 00 00 00 00 00 4a 00 07 00 00 00 08 00 |!......J.......
002d8e50 10 00 18 00 20 00 28 00 38 00 01 04 00 00 00 00 .... .(.8.......
002d8e60 a5 1f 14 00 00 00 00 00 49 00 06 00 00 00 08 00 ........I.......
002d8e70
002d8e70 SwitchTable
002d8e70 0x180010 0x1450 0x142186
002d8e88
002d8e88 4a 00 09 00 00 00 05 00 J.......
002d8e90 08 00 09 00 0d 00 10 00 18 00 20 00 38 00 01 04 .......... .8...
002d8ea0 b1 1e 14 00 00 00 00 00 31 00 00 00 e4 14 00 00 ........1.......
002d8eb0 a7 1e 14 00 00 00 00 00 31 00 00 00 5c 14 00 00 ........1...\...
002d8ec0 9d 1e 14 00 00 00 00 00 31 00 00 00 54 12 00 00 ........1...T...
002d8ed0
002d8ed0 SwitchTable
002d8ed0 0x141e94 0x10031 0x14e8 0x141e81 0x10031 0x13c0 0x141e77 0x10031
002d8f10 0x1228 0x141e68
002d8f20
002d8f20 31 00 02 00 00 00 20 00 d8 13 00 00 00 00 00 00 1..... .........
002d8f30 55 1e 14 00 00 00 00 00 31 00 02 00 00 00 20 00 U.......1..... .
002d8f40 e0 14 00 00 00 00 00 00 4b 1e 14 00 00 00 00 00 ........K.......
002d8f50 31 00 02 00 00 00 20 00 a0 0f 00 00 00 00 00 00 1..... .........
002d8f60 41 1e 14 00 00 00 00 00 31 00 03 00 00 00 18 00 A.......1.......
002d8f70 20 00 00 00 84 14 00 00 2e 1e 14 00 00 00 00 00 ...............
002d8f80 31 00 03 00 00 00 18 00 20 00 00 00 dc 11 00 00 1....... .......
002d8f90 1f 1e 14 00 00 00 00 00 31 00 04 00 00 00 10 00 ........1.......
002d8fa0 18 00 20 00 b4 12 00 00 a6 1d 14 00 00 00 00 00 .. .............
002d8fb0 31 00 03 00 10 00 18 00 20 00 00 00 0c 13 00 00 1....... .......
002d8fc0 c4 1e 14 00 00 00 00 00 32 00 05 00 00 00 08 00 ........2.......
002d8fd0 10 00 18 00 20 00 01 04 4e 1d 14 00 00 00 00 00 .... ...N.......
002d8fe0 31 00 04 00 00 00 08 00 10 00 20 00 dc 12 00 00 1......... .....
002d8ff0 ce 1e 14 00 00 00 00 00 32 00 07 00 00 00 01 00 ........2.......
002d9000 05 00 08 00 09 00 10 00 20 00 01 04 00 00 00 00 ........ .......
002d9010 67 1c 14 00 00 00 00 00 39 00 01 00 20 00 00 00 g.......9... ...
002d9020 f8 0f 00 00 00 00 00 00 57 1c 14 00 00 00 00 00 ........W.......
002d9030 39 00 02 00 00 00 20 00 d8 0d 00 00 00 00 00 00 9..... .........
002d9040 38 1c 14 00 00 00 00 00 39 00 00 00 24 14 00 00 8.......9...$...
002d9050 2e 1c 14 00 00 00 00 00 39 00 00 00 5c 0e 00 00 ........9...\...
002d9060 24 1c 14 00 00 00 00 00 39 00 00 00 44 0e 00 00 $.......9...D...