00327710
00327710 string "\\new@anchor@label{",0 ← 0x18ee5f
00327723
00327723 00 00 00 00 05 fc 07 00 00 00 00 00 00 .............
00327730
00327730 ; }{X}} ← 0x18ed6c 0x18eec3
00327730 7d 7b 58 7d }{X}
00327734
00327734 SwitchTable
00327734 0x7fc 0x27 0x7fc
0032774c
0032774c 00 00 00 00 ....
00327750
00327750 string "}{{",0 ← 0x18ed49 0x18eea0
00327754
00327754 00 00 00 04 fc 0b 00 00 00 00 00 00 ............
00327760
00327760 ; \newlabel{ ← 0x18ed2b
00327760 5c 6e 65 77 \new
00327764
00327764 SwitchTable
00327764 0x7b6c 0x7fc 0xa7d 0x7fc 0x7b7d 0xbfc
00327794
00327794 00 00 00 00 ....
00327798
00327798 string "\\bibcite{",0 ← 0x18ec1b
003277a2
003277a2 00 00 00 00 00 06 fc 0f 00 00 00 00 00 00 ..............
003277b0
003277b0 string "Undefined label: '",0 ← 0x18e65b
003277c3
003277c3 00 00 00 00 05 00 00 00 00 00 00 00 00 .............
003277d0 00 00 00 00 ....
003277d4
003277d4 SwitchTable
003277d4 0x64 0x18fca0 0x10 0x18fb2a 0x10010 0x18fb0b 0x10 0x18fac0
00327814 0x12
0032781c
0032781c 01 00 00 00 ....
00327820 c2 f9 18 00 00 00 00 00 12 00 00 00 04 00 00 00 ................
00327830 00 00 00 00 ....
00327834
00327834 SwitchTable
00327834 0x18f957 0x10 0x18f8e1 0x10 0x18f819 0x9
00327864
00327864 9c 08 00 00 06 f8 18 00 00 00 00 00 ............
00327870 09 00 00 00 14 09 00 00 f3 f7 18 00 00 00 00 00 ................
00327880 09 00 00 00 24 09 00 00 d2 f7 18 00 00 00 00 00 ....$...........
00327890 09 00 00 00 3c 08 00 00 23 f7 18 00 00 00 00 00 ....<...#.......
003278a0 49 00 04 00 20 00 28 00 30 00 38 00 b4 08 00 00 I... .(.0.8.....
003278b0 0b f7 18 00 00 00 00 00 49 00 05 00 18 00 20 00 ........I..... .
003278c0 28 00 30 00 38 00 00 00 00 08 00 00 00 00 00 00 (.0.8...........
003278d0 f3 f6 18 00 00 00 00 00 49 00 06 00 10 00 18 00 ........I.......
003278e0
003278e0 SwitchTable
003278e0 0x280020 0x850 0x18f6cd
003278f8
003278f8 49 00 08 00 00 00 08 00 I.......
00327900 10 00 18 00 20 00 28 00 30 00 38 00 c4 09 00 00 .... .(.0.8.....
00327910 64 f6 18 00 00 00 00 00 4a 00 09 00 00 00 01 00 d.......J.......
00327920 08 00 10 00 18 00 20 00 28 00 30 00 38 00 01 08 ...... .(.0.8...
00327930 f8 f5 18 00 00 00 00 00 49 00 08 00 00 00 08 00 ........I.......
00327940 10 00 18 00 20 00 28 00 30 00 38 00 e4 08 00 00 .... .(.0.8.....
00327950 d5 f5 18 00 00 00 00 00 49 00 06 00 10 00 18 00 ........I.......
00327960
00327960 SwitchTable
00327960 0x280020 0x868 0x18f5bd
00327978
00327978 49 00 05 00 18 00 20 00 I..... .
00327980 28 00 30 00 38 00 00 00 c8 08 00 00 00 00 00 00 (.0.8...........
00327990 a5 f5 18 00 00 00 00 00 49 00 04 00 20 00 28 00 ........I... .(.
003279a0 30 00 38 00 fc 06 00 00 2a f5 18 00 00 00 00 00 0.8.....*.......
003279b0 22 00 02 00 00 00 10 00 00 00 00 00 00 00 00 00 "...............
003279c0 f2 f4 18 00 00 00 00 00 21 00 02 00 00 00 10 00 ........!.......
003279d0 78 07 00 00 00 00 00 00 6e f4 18 00 00 00 00 00 x.......n.......
003279e0 11 00 00 00 dc 06 00 00 5f f4 18 00 00 00 00 00 ........_.......
003279f0 11 00 00 00 a4 06 00 00 ........
003279f8
003279f8 SwitchTable
003279f8 0x18f453 0x10011 0x710 0x18f492
00327a18
00327a18 22 00 02 00 10 00 11 00 ".......
00327a20 01 00 00 00 00 00 00 00 c0 f3 18 00 00 00 00 00 ................
00327a30 21 00 01 00 10 00 00 00 a8 06 00 00 00 00 00 00 !...............
00327a40 97 f3 18 00 00 00 00 00 11 00 00 00 1c 07 00 00 ................
00327a50
00327a50 SwitchTable
00327a50 0x18f387 0x10011 0x780 0x18f374 0x10011 0x740 0x18f30f
00327a58
00327a58 PointerTable
00327a58 0x10011 0x780
00327a70
00327a70 PointerTable
00327a70 0x10011 0x740
00327a88
00327a88 09 00 00 00 34 08 00 00 ....4...
00327a90 0a f3 18 00 00 00 00 00 09 00 00 00 3c 07 00 00 ............<...
00327aa0 af f2 18 00 00 00 00 00 31 00 00 00 2c 06 00 00 ........1...,...
00327ab0 a0 f2 18 00 00 00 00 00 31 00 00 00 0c 07 00 00 ........1.......
00327ac0
00327ac0 SwitchTable
00327ac0 0x18f297 0x10031 0x820 0x18f284 0x10031 0x710 0x18f26f
00327af8
00327af8 31 00 01 00 08 00 00 00 1.......
00327b00 b8 05 00 00 00 00 00 00 2c f2 18 00 00 00 00 00 ........,.......
00327b10 41 00 01 00 18 00 00 00 60 07 00 00 00 00 00 00 A.......`.......
00327b20 18 f2 18 00 00 00 00 00 41 00 04 00 18 00 20 00 ........A..... .
00327b30 28 00 30 00 b4 05 00 00 d2 f2 18 00 00 00 00 00 (.0.............
00327b40 42 00 04 00 10 00 18 00 28 00 30 00 01 02 00 00 B.......(.0.....
00327b50 c9 f1 18 00 00 00 00 00 41 00 04 00 10 00 18 00 ........A.......
00327b60 28 00 30 00 44 07 00 00 b8 f1 18 00 00 00 00 00 (.0.D...........
00327b70 41 00 03 00 18 00 28 00 30 00 00 00 64 05 00 00 A.....(.0...d...
00327b80 a4 f1 18 00 00 00 00 00 41 00 03 00 18 00 28 00 ........A.....(.
00327b90 30 00 00 00 64 05 00 00 91 f1 18 00 00 00 00 00 0...d...........
00327ba0 41 00 03 00 18 00 28 00 30 00 00 00 64 06 00 00 A.....(.0...d...
00327bb0 5f f1 18 00 00 00 00 00 51 00 03 00 28 00 38 00 _.......Q...(.8.
00327bc0 40 00 00 00 64 06 00 00 50 f1 18 00 00 00 00 00 @...d...P.......
00327bd0 51 00 03 00 28 00 38 00 40 00 00 00 14 06 00 00 Q...(.8.@.......
00327be0
00327be0 SwitchTable
00327be0 0x18f0ae 0x10039 0x708 0x18f081
00327c00
00327c00 39 00 03 00 00 00 20 00 28 00 00 00 f4 05 00 00 9..... .(.......
00327c10 c3 f0 18 00 00 00 00 00 3a 00 05 00 00 00 08 00 ........:.......
00327c20 18 00 20 00 28 00 00 00 28 f0 18 00 00 00 00 00 .. .(...(.......
00327c30 39 00 05 00 00 00 08 00 18 00 20 00 28 00 00 00 9......... .(...
00327c40 70 04 00 00 00 00 00 00 fa ef 18 00 00 00 00 00 p...............
00327c50 39 00 03 00 00 00 20 00 28 00 00 00 34 06 00 00 9..... .(...4...
00327c60 cd f0 18 00 00 00 00 00 3a 00 03 00 00 00 20 00 ........:..... .
00327c70 28 00 00 00 00 00 00 00 90 ef 18 00 00 00 00 00 (...............
00327c80 39 00 03 00 00 00 20 00 28 00 00 00 dc 05 00 00 9..... .(.......
00327c90 d7 f0 18 00 00 00 00 00 3a 00 03 00 00 00 01 00 ........:.......
00327ca0 07 00 00 00 00 00 00 00 0d ef 18 00 00 00 00 00 ................
00327cb0 09 00 00 00 44 05 00 00 c3 ee 18 00 00 00 00 00 ....D...........
00327cc0 19 00 01 00 08 00 00 00 20 05 00 00 00 00 00 00 ........ .......
00327cd0 b1 ee 18 00 00 00 00 00 19 00 02 00 00 00 08 00 ................
00327ce0 f8 05 00 00 00 00 00 00 a0 ee 18 00 00 00 00 00 ................
00327cf0 19 00 02 00 00 00 08 00 58 04 00 00 00 00 00 00 ........X.......
00327d00 8e ee 18 00 00 00 00 00 19 00 02 00 00 00 08 00 ................
00327d10 88 05 00 00 00 00 00 00 7d ee 18 00 00 00 00 00 ........}.......
00327d20 19 00 02 00 00 00 08 00 38 05 00 00 00 00 00 00 ........8.......
00327d30 6b ee 18 00 00 00 00 00 19 00 02 00 00 00 08 00 k...............
00327d40 18 05 00 00 00 00 00 00 23 ee 18 00 00 00 00 00 ........#.......
00327d50 22 00 03 00 00 00 08 00 10 00 01 04 00 00 00 00 "...............
00327d60 bc ed 18 00 00 00 00 00 21 00 03 00 00 00 08 00 ........!.......
00327d70 10 00 00 00 9c 03 00 00 6c ed 18 00 00 00 00 00 ........l.......
00327d80 19 00 01 00 08 00 00 00 00 05 00 00 00 00 00 00 ................
00327d90 5a ed 18 00 00 00 00 00 19 00 02 00 00 00 08 00 Z...............
00327da0 a8 04 00 00 00 00 00 00 49 ed 18 00 00 00 00 00 ........I.......
00327db0 19 00 02 00 00 00 08 00 78 03 00 00 00 00 00 00 ........x.......
00327dc0 37 ed 18 00 00 00 00 00 19 00 02 00 00 00 08 00 7...............
00327dd0 d8 02 00 00 00 00 00 00 ff ec 18 00 00 00 00 00 ................
00327de0 1a 00 02 00 00 00 08 00 01 03 00 00 00 00 00 00 ................
00327df0 a0 ec 18 00 00 00 00 00 19 00 02 00 00 00 08 00 ................
00327e00 e0 04 00 00 00 00 00 00 5c ec 18 00 00 00 00 00 ........\.......
00327e10 19 00 01 00 08 00 00 00 a0 04 00 00 00 00 00 00 ................
00327e20 4a ec 18 00 00 00 00 00 19 00 02 00 00 00 08 00 J...............
00327e30 80 04 00 00 00 00 00 00 39 ec 18 00 00 00 00 00 ........9.......
00327e40 19 00 02 00 00 00 08 00 38 03 00 00 00 00 00 00 ........8.......
00327e50 27 ec 18 00 00 00 00 00 19 00 02 00 00 00 08 00 '...............
00327e60 f8 02 00 00 00 00 00 00 ef eb 18 00 00 00 00 00 ................
00327e70 1a 00 02 00 00 00 08 00 01 03 00 00 00 00 00 00 ................
00327e80 90 eb 18 00 00 00 00 00 19 00 02 00 00 00 08 00 ................
00327e90
00327e90 SwitchTable
00327e90 0x300 0x18eaf6 0x10019 0x318 0x18eaa8
00327eb8
00327eb8 29 00 01 00 18 00 00 00 ).......
00327ec0 e0 02 00 00 00 00 00 00 a3 ea 18 00 00 00 00 00 ................
00327ed0 29 00 01 00 18 00 00 00 50 02 00 00 00 00 00 00 ).......P.......
00327ee0 92 ea 18 00 00 00 00 00 29 00 01 00 18 00 00 00 ........).......
00327ef0 48 03 00 00 00 00 00 00 14 ea 18 00 00 00 00 00 H...............
00327f00 11 00 00 00 94 02 00 00 d7 e9 18 00 00 00 00 00 ................
00327f10 21 00 01 00 10 00 00 00 b0 03 00 00 00 00 00 00 !...............
00327f20 d2 e9 18 00 00 00 00 00 21 00 01 00 10 00 00 00 ........!.......
00327f30 f0 02 00 00 00 00 00 00 c1 e9 18 00 00 00 00 00 ................
00327f40 21 00 01 00 10 00 00 00 28 03 00 00 00 00 00 00 !.......(.......
00327f50 73 e9 18 00 00 00 00 00 0a 00 01 00 03 00 00 00 s...............
00327f60
00327f60 SwitchTable
00327f60 0x18e900 0x10011 0x330 0x18e8ea
00327f68
00327f68 PointerTable
00327f68 0x10011 0x330
00327f80
00327f80 11 00 00 00 9c 01 00 00 ca e8 18 00 00 00 00 00 ................
00327f90 11 00 00 00 ec 02 00 00 ........
00327f98
00327f98 SwitchTable
00327f98 0x18e8aa 0x10011 0x270 0x18e884 0x10011 0x130 0x18e82d
00327fa0
00327fa0 PointerTable
00327fa0 0x10011 0x270
00327fb8
00327fb8 PointerTable
00327fb8 0x10011 0x130
00327fd0
00327fd0 1a 00 01 00 01 00 01 00 d4 e7 18 00 00 00 00 00 ................
00327fe0 19 00 00 00 8c 01 00 00 6b e7 18 00 00 00 00 00 ........k.......
00327ff0 19 00 00 00 4c 01 00 00 66 e7 18 00 00 00 00 00 ....L...f.......
00328000 19 00 00 00 3c 02 00 00 57 e7 18 00 00 00 00 00 ....<...W.......
00328010 19 00 00 00 f4 01 00 00 95 e7 18 00 00 00 00 00 ................
00328020 2a 00 03 00 01 00 10 00 18 00 01 00 00 00 00 00 *...............
00328030 03 e7 18 00 00 00 00 00 29 00 02 00 10 00 18 00 ........).......
00328040 50 00 00 00 00 00 00 00 6c e6 18 00 00 00 00 00 P.......l.......
00328050 11 00 00 00 24 01 00 00 67 e6 18 00 00 00 00 00 ....$...g.......
00328060 11 00 00 00 a4 00 00 00 58 e6 18 00 00 00 00 00 ........X.......
00328070 11 00 00 00 74 02 00 00 2e e6 18 00 00 00 00 00 ....t...........
00328080 21 00 01 00 10 00 00 00 !.......
00328088
00328088 SwitchTable
00328088 0x128 0x320 0x328 0x408 0x2a8 0x3e4 0x2c0 0x300
003280c8 0x2d8 0x26c 0x2a0 0x374 0x290 0x2e0 0x280 0x23c
00328108 0x33c 0x370 0x2a8 0x2b0 0x30c 0x220 0x268 0x270
00328148 0x240 0x1d4 0x310 0x240 0x258 0x274 0x2cc 0x2e8
00328188 0x1b4 0x1d8 0x28c 0x294 0x194 0x294
003281b8
003281b8 08 02 00 6c ...l
003281bc
003281bc SwitchTable
003281bc 0x274 0x1b0 0x2d8 0x23c 0x1e0 0x13c 0x188 0x204
003281fc 0x294 0x1a8 0x168 0x1b8 0x204 0x150 0x278 0x1fc
0032823c 0x170 0x108 0x258 0xcc 0xc4 0x22c 0x1b4 0x100
0032827c 0x150 0xc8 0x204 0x8c
0032829c
0032829c f8 20 60 04 . `.
003282a0 30 01 00 5c 0..\
003282a4
003282a4 SwitchTable
003282a4 0xd0 0x1b8 0x1b0 0x154 0x15c 0xd0 0x4c 0x34
003282e4 0x15c 0x10c 0x19c
003282fc
003282fc 78 09 88 05 x...
00328300 73 74 64 6c 69 62 2e 6d 6c 00 61 75 78 78 2e 6d stdlib.ml.auxx.m
00328310 6c 00 00 00 f6 ff ff ff 41 75 78 78 2e 72 77 72 l.......Auxx.rwr
00328320 69 74 65 00 e6 ff ff ff 41 75 78 78 2e 72 77 72 ite.....Auxx.rwr
00328330 69 74 65 32 2e 28 66 75 6e 29 00 00 ce ff ff ff ite2.(fun)......
00328340 41 75 78 78 2e 68 6f 74 5f 73 74 61 72 74 00 00 Auxx.hot_start..
00328350 ba ff ff ff 41 75 78 78 2e 72 77 72 69 74 65 2e ....Auxx.rwrite.
00328360 28 66 75 6e 29 00 00 00 a2 ff ff ff 41 75 78 78 (fun).......Auxx
00328370 2e 62 77 72 69 74 65 00 92 ff ff ff 41 75 78 78 .bwrite.....Auxx
00328380 2e 61 64 64 74 6f 63 00 82 ff ff ff 41 75 78 78 .addtoc.....Auxx
00328390 2e 66 69 6e 61 6c 2e 28 66 75 6e 29 00 00 00 00 .final.(fun)....
003283a0 6a ff ff ff 41 75 78 78 2e 68 6f 74 00 00 00 00 j...Auxx.hot....
003283b0 5a ff ff ff 41 75 78 78 2e 62 67 65 74 00 00 00 Z...Auxx.bget...
003283c0 4a ff ff ff 41 75 78 78 2e 66 69 6e 61 6c 00 00 J...Auxx.final..
003283d0 3a ff ff ff 41 75 78 78 2e 66 69 6e 61 6c 69 7a :...Auxx.finaliz
003283e0 65 00 00 00 26 ff ff ff 41 75 78 78 2e 72 65 61 e...&...Auxx.rea
003283f0 64 5f 64 69 67 65 73 74 00 00 00 00 0e ff ff ff d_digest........
00328400 41 75 78 78 2e 74 6f 63 66 69 6c 65 6e 61 6d 65 Auxx.tocfilename
00328410 00 00 00 00 f6 fe ff ff 41 75 78 78 2e 69 6e 69 ........Auxx.ini
00328420 74 00 00 00 e6 fe ff ff 41 75 78 78 2e 62 63 68 t.......Auxx.bch
00328430 65 63 6b 00 d6 fe ff ff 41 75 78 78 2e 72 63 68 eck.....Auxx.rch
00328440 65 63 6b 00 c6 fe ff ff 41 75 78 78 2e 72 67 65 eck.....Auxx.rge
00328450 74 00 00 00 ac fe ff ff 53 74 64 6c 69 62 2e 6f t.......Stdlib.o
00328460 70 65 6e 5f 6f 75 74 00 a2 fe ff ff 41 75 78 78 pen_out.....Auxx
00328470 2e 62 77 72 69 74 65 2e 28 66 75 6e 29 00 00 00 .bwrite.(fun)...
00328480 8a fe ff ff 41 75 78 78 2e 72 77 72 69 74 65 32 ....Auxx.rwrite2
00328490 00 00 00 00 76 fe ff ff 41 75 78 78 2e 64 6f 5f ....v...Auxx.do_
003284a0 61 64 64 74 6f 63 00 00 62 fe ff ff 41 75 78 78 addtoc..b...Auxx
003284b0 2e 63 68 65 63 6b 00 00 .check..
003284b8
003284b8 SwitchTable uint64_t
003284b8 0xbf7 0x18fe50 0x5 0xbf7 0x18fdf0 0x5 0xbf7 0x18feb0
003284f8 0x5 0xbf7 0x1900a0 0x5 0xbf7 0x190060 0x5 0xbf7
00328538 0x190040 0x5 0xbf7 0x190030 0x5 0xbf7 0x190010 0x5
00328578 0xbf7 0x18ffe0 0x5 0xbf7 0x18ffb0 0x5 0xbf7 0x18ff80
003285b8 0x5 0xbf7 0x18ff30 0x5 0xbf7 0x18fee0 0x5 0xbf7
003285f8 0x190100 0x5 0xbf7 0x190190 0x5 0x3287e8 0x3287d8 0x3287c8
00328638 0x6f00 0x1 0x1 0x1 0x1 0x1 0x1 0x1
00328678 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
003286b8 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
003286f8 0x1 0x1 0x1 0x1 0x328640
00328620
00328620 PointerTable ← camlParse_opts.entry
00328620 0x3287e8 0x3287d8 0x3287c8
00328720
00328720 00 00 00 00 00 00 00 00 fc 07 00 00 00 00 00 00 ................
00328730
00328730 string "-info",0 ← 0x190c0f
00328736
00328736 00 02 fc 1b 00 00 00 00 00 00 ..........
00328740
00328740 string " iterate Hevea until reaching a fixpoint",0 ← 0x190c68
00328769
00328769 00 00 00 00 00 00 07 .......
00328770 fc 07 00 00 00 00 00 00 ........
00328778
00328778 string "-fix",0 ← 0x190c5a
0032877d
0032877d 00 00 03 ...
00328780 fc 1f 00 00 00 00 00 00 ........
00328788
00328788 string "-francais option is deprecated, use babel instead",0 ← 0x19122b
003287ba
003287ba 00 00 00 00 00 06 ......
003287c0 fc 07 00 00 00 00 00 00 ........
003287c8
003287c8 string ".info",0 ← 0x1911e3
003287ce
003287ce 00 02 ..
003287d0 fc 07 00 00 00 00 00 00 ........
003287d8
003287d8 string ".txt",0 ← 0x1911d2
003287dd
003287dd 00 00 03 ...
003287e0 fc 07 00 00 00 00 00 00 ........
003287e8
003287e8 string ".html",0 ← 0x1911c1
003287ee
003287ee 00 02 ..
003287f0 fc 13 00 00 00 00 00 00 ........
003287f8
003287f8 string "No fixpoint in filter mode",0 ← 0x190fea
00328813
00328813 00 00 00 00 05 fc 07 00 00 00 00 00 00 .............
00328820
00328820 string ".tex",0 ← 0x190e9f
00328825
00328825 00 00 03 fc 07 00 00 00 00 00 00 ...........
00328830
00328830 string ".hva" ← 0x190e38
00328834
00328834 SwitchTable
00328834 0xb00 0x1 0x1 0xbfc
00328854
00328854 00 00 00 00 ....
00328858
00328858 string "Warning: ",0 ← 0x190156
00328862
00328862 00 00 00 00 00 06 fc 17 00 00 00 00 00 00 ..............
00328870
00328870 string "FILE exclude FILE from being processed",0 ← 0x190cb6
00328897
00328897 01 fc 1f 00 00 00 00 00 00 .........
003288a0
003288a0 string " output version information, library directory and exit",0 ← 0x190673
003288d8
003288d8 fc 0f 00 00 00 00 00 00 ........
003288e0
003288e0 string "library directory: ",0 ← 0x1900d0
003288f4
003288f4 00 00 00 04 fc 07 00 00 00 00 00 00 ............
00328900
00328900 string "hevea ",0 ← 0x1900b8
00328907
00328907 01 fc 0b 00 00 00 00 00 00 .........
00328910
00328910 string "-version",0 ← 0x190665
00328919
00328919 00 00 00 00 00 00 07 .......
00328920 fc 1b 00 00 00 00 00 00 ........
00328928
00328928 string " verbose flag; repeat to increase verbosity",0 ← 0x1906c5
00328954
00328954 SwitchTable
00328954 0x7fc 0x762d 0xb00 0x3289d0 0x328988 0x23fc
00328970
00328970 PointerTable ← camlParse_opts.entry
00328970 0x3289d0 0x328988 0x23fc
00328988
00328988 string "SIZE set SIZE (default: %i) of leaves in rope implementation"
003289c4
003289c4 SwitchTable
003289c4 0xb0b 0x328a68 0x3289e8 0x1304 0x7 0x1 0x1 0x328a20
00328a04 0x7fc 0x652d 0xb0b 0x328a38 0x1 0x17fc
003289d0
003289d0 PointerTable
003289d0 0x328a68 0x3289e8
00328a34
00328a34 00 00 00 00 ....
00328a38
00328a38 string ") of leaves in rope implementation",0
00328a5b
00328a5b 00 00 00 00 05 .....
00328a60 fc 13 00 00 00 00 00 00 ........
00328a68
00328a68 string "SIZE set SIZE (default: ",0
00328a81
00328a81 00 00 00 00 00 00 07 fc 07 00 00 00 00 00 00 ...............
00328a90
00328a90 string "-rsz",0 ← 0x190745
00328a95
00328a95 00 00 03 fc 1b 00 00 00 00 00 00 ...........
00328aa0
00328aa0 string " add borders to some block-level elements",0 ← 0x1907a3
00328aca
00328aca 00 00 00 00 00 06 ......
00328ad0 fc 07 00 00 00 00 00 00 ........
00328ad8
00328ad8 string "-dv",0 ← 0x190795
00328adc
00328adc 00 00 00 04 ....
00328ae0 fc 13 00 00 00 00 00 00 ........
00328ae8
00328ae8 string " render symbols by English text",0 ← 0x1907f1
00328b08
00328b08 fc 0b 00 00 00 00 00 00 ........
00328b10
00328b10 string "-textsymbols",0 ← 0x1907e3
00328b1d
00328b1d 00 00 03 ...
00328b20 fc 1f 00 00 00 00 00 00 ........
00328b28
00328b28 string " be pedantic in interpreting HTML 4.0 transitional",0 ← 0x19083c
00328b5b
00328b5b 00 00 00 00 05 .....
00328b60 fc 0b 00 00 00 00 00 00 ........
00328b68
00328b68 string "-pedantic",0 ← 0x19082e
00328b72
00328b72 00 00 00 00 00 06 fc 1b 00 00 00 00 00 00 ..............
00328b80
00328b80 string "DIR prepend directory DIR to search path",0 ← 0x190d04
00328ba9
00328ba9 00 00 00 00 00 00 07 .......
00328bb0 fc 1b 00 00 00 00 00 00 ........
00328bb8
00328bb8 string " enable the output of some rare entities",0 ← 0x190887
00328be1
00328be1 00 00 00 00 00 00 07 fc 0b 00 00 00 00 00 00 ...............
00328bf0
00328bf0 string "-moreentities",0 ← 0x190879
00328bfe
00328bfe 00 02 ..
00328c00 fc 23 00 00 00 00 00 00 .#......
00328c08
00328c08 string " generate MathML output for equations; VERY EXPERIMENTAL",0 ← 0x1908d2
00328c41
00328c41 00 00 00 00 00 00 07 fc 07 00 00 00 00 00 00 ...............
00328c50
00328c50 string "-mathml",0 ← 0x1908c4
00328c58
00328c58 fc 13 00 00 00 00 00 00 ........
00328c60
00328c60 string " deprecated, does nothing",0 ← 0x190920
00328c7a
00328c7a 00 00 00 00 00 06 ......
00328c80 fc 1f 00 00 00 00 00 00 ........
00328c88
00328c88 string "-noiso is deprecated, by default hevea output is ASCII",0 ← 0x190030
00328cbf
00328cbf 01 .
00328cc0 fc 07 00 00 00 00 00 00 ........
00328cc8
00328cc8 string "-noiso",0 ← 0x190912
00328ccf
00328ccf 01 .
00328cd0 fc 13 00 00 00 00 00 00 ........
00328cd8
00328cd8 string " French mode (deprecated)",0 ← 0x19096e
00328cf2
00328cf2 00 00 00 00 00 06 fc 0b 00 00 00 00 00 00 ..............
00328d00
00328d00 string "-francais",0 ← 0x190960
00328d0a
00328d0a 00 00 00 00 00 06 ......
00328d10 fc 1b 00 00 00 00 00 00 ........
00328d18
00328d18 ; render symbols by using entities (default) ← 0x1909bc
00328d18 20 72 65 6e 64 65 72 20 render
00328d20 73 79 6d 62 6f 6c 73 20 62 79 20 75 73 69 6e 67 symbols by using
00328d30 20 65 6e 74 69 74 69 65 73 20 28 64 entities (d
00328d3c
00328d3c SwitchTable
00328d3c 0x29746c 0x7fc 0x492d 0xbfc
00328d5c
00328d5c 00 00 00 00 ....
00328d60
00328d60 string "-entities",0 ← 0x1909ae
00328d6a
00328d6a 00 00 00 00 00 06 ......
00328d70 fc 23 00 00 00 00 00 00 .#......
00328d78
00328d78 string "PROG execute external program PROG, then read its result",0 ← 0x190a0a
00328db1
00328db1 00 00 00 00 00 00 07 fc 07 00 00 00 00 00 00 ...............
00328dc0
00328dc0 string "-exec",0 ← 0x1909fc
00328dc6
00328dc6 00 02 fc 1f 00 00 00 00 00 00 ..........
00328dd0
00328dd0 ; call Esponja to optimize the HTML output of Hevea ← 0x190a55
00328dd0 20 63 61 6c 6c 20 45 73 70 6f 6e 6a 61 20 74 6f call Esponja to
00328de0 20 6f 70 74 69 6d 69 7a 65 20 74 68 65 20 48 54 optimize the HT
00328df0 4d 4c 20 6f 75 74 70 75 74 20 6f 66 ML output of
00328dfc
00328dfc SwitchTable
00328dfc 0x6165 0x7fc 0x4f2d 0xb00 0x328e88 0x328e38 0x27fc
00328e20
00328e20 PointerTable ← camlParse_opts.entry
00328e20 0x328e88 0x328e38 0x27fc
00328e38
00328e38 string "WIDTH set the output WIDTH (default: %i) for text or Info output",0
00328e79
00328e79 00 00 00 ...
00328e7c
00328e7c SwitchTable
00328e7c 0xb0b 0x3290a8 0x328ea0 0x1304 0x7 0x1 0x1 0x328ec8
00328ebc 0xb0b 0x329080 0x1 0xcffc
00328e88
00328e88 PointerTable
00328e88 0x3290a8 0x328ea0
00328edc
00328edc 00 00 00 00 ....
00328ee0
00328ee0 string "Usage: hevea [OPTION...] [HVA-FILE...|LATEX-FILE...]\n\nConsult all HVA-FILEs and LATEX-FILEs; designate last LATEX-FILE\nas main-input file and translate it to HTML. If no file is given\nor the last file is not a LATEX-FILE work in filter mode: read\nLaTeX-source from standard input and write to standard output.\n\nOptions `-info' or `-text' switch the output format to GNU Info\nor plain text.\n\nOptions:",0 ← 0x190d31
00329071
00329071 00 00 00 00 00 00 07 fc 13 00 00 00 00 00 00 ...............
00329080
00329080 string ") for text or Info output",0
0032909a
0032909a 00 00 00 00 00 06 ......
003290a0 fc 17 00 00 00 00 00 00 ........
003290a8
003290a8 ; WIDTH set the output WIDTH (default:
003290a8 57 49 44 54 48 20 73 65 WIDTH se
003290b0 74 20 74 68 65 20 6f 75 74 70 75 74 20 57 49 44 t the output WID
003290c0 54 48 20 28 64 65 66 61 75 6c 74 3a TH (default:
003290cc
003290cc SwitchTable
003290cc 0x7fc 0x772d 0xffc
003290e4
003290e4 00 00 00 00 ....
003290e8
003290e8 ; suppress warnings ← 0x190b2c
003290e8 20 73 75 70 70 72 65 73 suppres
003290f0 73 20 77 61 s wa
003290f4
003290f4 SwitchTable
003290f4 0x7367 0x7fc 0x732d 0x17fc
00329114
00329114 00 00 00 00 ....
00329118
00329118 ; FILE redirect Hevea output to FILE ← 0x190b81
00329118 46 49 4c 45 20 72 65 64 FILE red
00329120 69 72 65 63 74 20 48 65 76 65 61 20 6f 75 74 70 irect Hevea outp
00329130 75 74 20 74 ut t
00329134
00329134 SwitchTable
00329134 0x454c 0x7fc 0x6f2d 0xffc
00329154
00329154 00 00 00 00 ....
00329158
00329158 string " output plain text",0 ← 0x190bcf
0032916b
0032916b 00 00 00 00 05 .....
00329170 fc 07 00 00 00 00 00 00 ........
00329178
00329178 string "-text",0 ← 0x190bc1
0032917e
0032917e 00 02 ..
00329180 fc 13 00 00 00 00 00 00 ........
00329188
00329188 string " output GNU Info file(s)",0 ← 0x190c1d
003291a1
003291a1 00 00 00 00 00 00 07 fc 07 00 00 00 00 00 00 ...............
003291b0
003291b0 uint8_t g_3291b0 ← camlParse_opts.entry
003291b0 00 00 00 00 00 00 00 07 00 00 00 00 00 00 00 00 ................
003291c0 00 00 00 00 ....
003291c4
003291c4 SwitchTable
003291c4 0x2c 0x191237 0x21
003291dc
003291dc d4 03 00 00 ....
003291e0 f2 11 19 00 00 00 00 00 21 00 00 00 54 04 00 00 ........!...T...
003291f0 e1 11 19 00 00 00 00 00 21 00 00 00 3c 04 00 00 ........!...<...
00329200 d0 11 19 00 00 00 00 00 21 00 00 00 7c 03 00 00 ........!...|...
00329210 f7 10 19 00 00 00 00 00 31 00 01 00 10 00 00 00 ........1.......
00329220 e0 03 00 00 00 00 00 00 da 10 19 00 00 00 00 00 ................
00329230 21 00 00 00 94 03 00 00 c6 10 19 00 00 00 00 00 !...............
00329240 21 00 02 00 00 00 08 00 e8 03 00 00 00 00 00 00 !...............
00329250 8a 10 19 00 00 00 00 00 21 00 00 00 34 03 00 00 ........!...4...
00329260 f6 0f 19 00 00 00 00 00 21 00 00 00 3c 03 00 00 ........!...<...
00329270 bb 0e 19 00 00 00 00 00 31 00 03 00 10 00 18 00 ........1.......
00329280 20 00 00 00 5c 03 00 00 ab 0e 19 00 00 00 00 00 ...\...........
00329290 31 00 03 00 10 00 18 00 20 00 00 00 5c 03 00 00 1....... ...\...
003292a0 7e 0e 19 00 00 00 00 00 21 00 02 00 00 00 08 00 ~.......!.......
003292b0 40 03 00 00 00 00 00 00 44 0e 19 00 00 00 00 00 @.......D.......
003292c0 21 00 02 00 00 00 08 00 10 03 00 00 00 00 00 00 !...............
003292d0 bc 0d 19 00 00 00 00 00 22 00 02 00 01 00 03 00 ........".......
003292e0 01 01 00 00 00 00 00 00 a9 0d 19 00 00 00 00 00 ................
003292f0 21 00 00 00 2c 03 00 00 4b 0d 19 00 00 00 00 00 !...,...K.......
00329300 21 00 00 00 14 03 00 00 !.......
00329308
00329308 SwitchTable
00329308 0x190d31 0x20 0x190aa5
00329320
00329320 22 00 02 00 01 00 08 00 18 01 02 00 01 02 00 01 "...............
00329330 02 00 01 02 00 01 02 00 01 02 00 01 02 00 01 02 ................
00329340 00 00 00 00 00 00 00 00 99 0a 19 00 00 00 00 00 ................
00329350 21 00 01 00 08 00 00 00 48 02 00 00 00 00 00 00 !.......H.......
00329360 8d 0a 19 00 00 00 00 00 21 00 01 00 08 00 00 00 ........!.......
00329370 30 02 00 00 00 00 00 00 18 07 19 00 00 00 00 00 0...............
00329380 22 00 02 00 03 00 08 00 21 01 02 00 01 02 00 01 ".......!.......
00329390 02 00 01 02 00 01 02 00 01 02 00 01 ............
0032939c
0032939c SwitchTable
0032939c 0x20100 0x2 0x190709 0x10021
003293bc
003293bc 08 00 00 00 ....
003293c0 10 02 00 00 00 00 00 00 fd 06 19 00 00 00 00 00 ................
003293d0 21 00 01 00 08 00 00 00 f8 01 00 00 00 00 00 00 !...............
003293e0 3d 06 19 00 00 00 00 00 22 00 00 00 06 01 02 00 =.......".......
003293f0 01 02 00 00 00 00 00 00 04 05 19 00 00 00 00 00 ................
00329400 22 00 00 00 05 00 00 00 00 00 00 00 00 00 00 00 "...............
00329410 b8 03 19 00 00 00 00 00 22 00 00 00 05 00 00 00 ........".......
00329420 00 00 00 00 00 00 00 00 82 03 19 00 00 00 00 00 ................
00329430 22 00 00 00 01 00 00 00 50 03 19 00 00 00 00 00 ".......P.......
00329440 22 00 00 00 01 00 00 00 1b 03 19 00 00 00 00 00 "...............
00329450 22 00 00 00 01 00 00 00 9b 02 19 00 00 00 00 00 "...............
00329460 22 00 00 00 01 00 00 00 58 02 19 00 00 00 00 00 ".......X.......
00329470 12 00 02 00 01 00 03 00 02 01 00 00 00 00 00 00 ................
00329480 5f 02 19 00 00 00 00 00 12 00 02 00 00 00 01 00 _...............
00329490
00329490 SwitchTable
00329490 0x10102 0x1901d2 0x10011 0x160 0x190170 0x10011 0xf8 0x190156
003294d0 0x10011 0x138 0x1900e1
003294a0
003294a0 PointerTable
003294a0 0x10011 0x160
003294b8
003294b8 PointerTable
003294b8 0x10011 0xf8
003294d0
003294d0 PointerTable
003294d0 0x10011 0x138
003294e8
003294e8 09 00 00 00 fc 00 00 00 ........
003294f0 dc 00 19 00 00 00 00 00 09 00 00 00 2c 01 00 00 ............,...
00329500 c9 00 19 00 00 00 00 00 09 00 00 00 74 00 00 00 ............t...
00329510 c4 00 19 00 00 00 00 00 09 00 00 00 7c 00 00 00 ............|...
00329520 ef ff 18 00 00 00 00 00 09 00 00 00 94 00 00 00 ................
00329530
00329530 SwitchTable
00329530 0x18ff74 0x1000a 0x18ff24 0x1000a 0x18feaa 0x1000a
00329560
00329560 00 00 00 00 00 00 00 00 4a fe 18 00 00 00 00 00 ........J.......
00329570 0a 00 01 00 01 00 02 01 00 00 00 00 ............
0032957c
0032957c SwitchTable
0032957c 0x180 0x120 0x140 0x168 0x120 0x118 0x110 0xa8
003295bc 0x140 0x108 0xf0 0xb8 0xb0 0x118 0xa0 0x98
003295fc 0xd0 0x70 0xd8 0xa8 0xa0 0xd8 0xa0 0x70
0032963c 0x68
00329644
00329644 00 55 c0 06 73 74 64 6c 69 62 2e 6d .U..stdlib.m
00329650 6c 00 70 61 72 73 65 5f 6f 70 74 73 2e 6d 6c 00 l.parse_opts.ml.
00329660 e8 ff ff ff 53 74 64 6c 69 62 2e 70 72 65 72 72 ....Stdlib.prerr
00329670 5f 73 74 72 69 6e 67 00 da ff ff ff 50 61 72 73 _string.....Pars
00329680 65 5f 6f 70 74 73 2e 66 66 69 72 73 74 00 00 00 e_opts.ffirst...
00329690 c2 ff ff ff 50 61 72 73 65 5f 6f 70 74 73 2e 62 ....Parse_opts.b
003296a0 61 73 65 5f 69 6e 00 00 aa ff ff ff 50 61 72 73 ase_in......Pars
003296b0 65 5f 6f 70 74 73 2e 6e 61 6d 65 5f 6f 75 74 00 e_opts.name_out.
003296c0 92 ff ff ff 50 61 72 73 65 5f 6f 70 74 73 00 00 ....Parse_opts..
003296d0 82 ff ff ff 50 61 72 73 65 5f 6f 70 74 73 2e 62 ....Parse_opts.b
003296e0 61 73 65 5f 6f 75 74 00 6a ff ff ff 50 61 72 73 ase_out.j...Pars
003296f0 65 5f 6f 70 74 73 2e 77 61 72 6e 69 6e 67 00 00 e_opts.warning..
00329700 52 ff ff ff 50 61 72 73 65 5f 6f 70 74 73 2e 28 R...Parse_opts.(
00329710 66 75 6e 29 fun)
00329714
00329714 SwitchTable uint64_t
00329714 0xf00 0x1 0x1 0x1 0x329720