002e558e
002e558e 00 00 ..
002e5590 d5 ff ff ff 49 6e 66 6f 52 65 66 2e 61 66 66 69 ....InfoRef.affi
002e55a0 63 68 65 5f 74 61 67 5f 74 61 62 6c 65 00 00 00 che_tag_table...
002e55b0 b5 ff ff ff 49 6e 66 6f 52 65 66 2e 61 66 66 69 ....InfoRef.affi
002e55c0 63 68 65 5f 6e 6f 64 65 00 00 00 00 b7 ff ff ff che_node........
002e55d0 49 6e 66 6f 52 65 66 2e 5f 5f 6f 63 61 6d 6c 5f InfoRef.__ocaml_
002e55e0 6c 65 78 5f 6d 61 69 6e 5f 72 65 63 00 00 00 00 lex_main_rec....
002e55f0 75 ff ff ff 49 6e 66 6f 52 65 66 2e 66 69 6e 61 u...InfoRef.fina
002e5600 6c 69 7a 65 5f 6e 6f 64 65 73 00 00 59 ff ff ff lize_nodes..Y...
002e5610 49 6e 66 6f 52 65 66 2e 70 75 74 00 49 ff ff ff InfoRef.put.I...
002e5620 49 6e 66 6f 52 65 66 2e 64 6f 5f 66 69 6e 61 6c InfoRef.do_final
002e5630 69 7a 65 5f 6e 6f 64 65 73 00 00 00 29 ff ff ff ize_nodes...)...
002e5640 49 6e 66 6f 52 65 66 2e 69 6e 66 6f 6e 6f 64 65 InfoRef.infonode
002e5650 00 00 00 00 27 ff ff ff 54 65 78 74 2e 63 6c 6f ....'...Text.clo
002e5660 73 65 5f 62 6c 6f 63 6b 00 00 00 00 17 ff ff ff se_block........
002e5670 49 6e 66 6f 52 65 66 2e 5f 5f 6f 63 61 6d 6c 5f InfoRef.__ocaml_
002e5680 6c 65 78 5f 66 69 6e 69 74 4c 69 67 6e 65 5f 72 lex_finitLigne_r
002e5690 65 63 00 00 ef fe ff ff 49 6e 66 6f 52 65 66 2e ec......InfoRef.
002e56a0 61 72 67 00 c1 fe ff ff 49 6e 66 6f 52 65 66 2e arg.....InfoRef.
002e56b0 64 6f 5f 69 6e 66 6f 6e 6f 64 65 00 a9 fe ff ff do_infonode.....
002e56c0 49 6e 66 6f 52 65 66 2e 63 68 61 6e 67 65 5f 6c InfoRef.change_l
002e56d0 61 62 65 6c 00 00 00 00 8d fe ff ff 49 6e 66 6f abel........Info
002e56e0 52 65 66 2e 64 6f 5f 66 69 6e 61 6c 69 7a 65 5f Ref.do_finalize_
002e56f0 6d 65 6e 75 73 00 00 00 6d fe ff ff 49 6e 66 6f menus...m...Info
002e5700 52 65 66 2e 73 65 74 5f 6f 75 74 5f 66 69 6c 65 Ref.set_out_file
002e5710 00 00 00 00 51 fe ff ff 49 6e 66 6f 52 65 66 2e ....Q...InfoRef.
002e5720 61 66 66 69 63 68 65 5f 6d 65 6e 75 00 00 00 00 affiche_menu....
002e5730 53 fe ff ff 49 6e 66 6f 52 65 66 2e 5f 5f 6f 63 S...InfoRef.__oc
002e5740 61 6d 6c 5f 6c 65 78 5f 6e 75 6d 65 72 6f 5f 72 aml_lex_numero_r
002e5750 65 63 00 00 11 fe ff ff 49 6e 66 6f 52 65 66 2e ec......InfoRef.
002e5760 70 75 74 5f 6e 6f 64 65 00 00 00 00 17 fe ff ff put_node........
002e5770 49 6e 66 6f 52 65 66 2e 6c 61 62 65 6c 73 00 00 InfoRef.labels..
002e5780 e5 fd ff ff 49 6e 66 6f 52 65 66 2e 73 65 74 5f ....InfoRef.set_
002e5790 6f 75 74 00 ef fd ff ff 49 6e 66 6f 52 65 66 2e out.....InfoRef.
002e57a0 5f 5f 6f 63 61 6d 6c 5f 6c 65 78 5f 61 72 67 5f __ocaml_lex_arg_
002e57b0 72 65 63 00 a8 fd ff ff 53 74 64 6c 69 62 5f 5f rec.....Stdlib__
002e57c0 42 79 74 65 73 2e 73 75 62 5f 73 74 72 69 6e 67 Bytes.sub_string
002e57d0 00 00 00 00 6c fd ff ff 53 74 64 6c 69 62 2e 6f ....l...Stdlib.o
002e57e0 70 65 6e 5f 6f 75 74 00 7d fd ff ff 49 6e 66 6f pen_out.}...Info
002e57f0 52 65 66 2e 64 6f 5f 61 66 66 69 63 68 65 5f 74 Ref.do_affiche_t
002e5800 61 67 5f 74 61 62 6c 65 00 00 00 00 65 fd ff ff ag_table....e...
002e5810 53 74 64 6c 69 62 5f 5f 53 74 72 69 6e 67 2e 6d Stdlib__String.m
002e5820 61 6b 65 00 41 fd ff ff 49 6e 66 6f 52 65 66 2e ake.A...InfoRef.
002e5830 61 66 66 69 63 68 65 5f 6d 65 6e 75 2e 61 66 66 affiche_menu.aff
002e5840 69 63 68 65 5f 69 74 65 6d 73 00 00 19 fd ff ff iche_items......
002e5850 49 6e 66 6f 52 65 66 2e 61 66 66 69 63 68 65 5f InfoRef.affiche_
002e5860 72 65 66 00 01 fd ff ff 49 6e 66 6f 52 65 66 2e ref.....InfoRef.
002e5870 64 75 6d 70 00 00 00 00 ed fc ff ff 49 6e 66 6f dump........Info
002e5880 52 65 66 2e 6c 6f 63 5f 6e 61 6d 65 00 00 00 00 Ref.loc_name....
002e5890 c4 fc ff ff 53 74 64 6c 69 62 5f 5f 4c 69 73 74 ....Stdlib__List
002e58a0 2e 68 64 00 c1 fc ff ff 49 6e 66 6f 52 65 66 2e .hd.....InfoRef.
002e58b0 61 6a 6f 75 74 65 5f 6e 6f 64 65 5f 64 61 6e 73 ajoute_node_dans
002e58c0 5f 6d 65 6e 75 00 00 00 9d fc ff ff 49 6e 66 6f _menu.......Info
002e58d0 52 65 66 2e 5f 5f 6f 63 61 6d 6c 5f 6c 65 78 5f Ref.__ocaml_lex_
002e58e0 6d 61 69 6e 5f 72 65 63 00 00 00 00 97 fc ff ff main_rec........
002e58f0 49 6e 66 6f 52 65 66 2e 5f 5f 6f 63 61 6d 6c 5f InfoRef.__ocaml_
002e5900 6c 65 78 5f 6c 61 62 65 6c 73 5f 72 65 63 00 00 lex_labels_rec..
002e5910 3a fc ff ff 53 74 64 6c 69 62 5f 5f 4c 65 78 69 :...Stdlib__Lexi
002e5920 6e 67 2e 6c 65 78 65 6d 65 00 00 00 39 fc ff ff ng.lexeme...9...
002e5930 49 6e 66 6f 52 65 66 2e 6e 65 78 74 5f 66 69 6c InfoRef.next_fil
002e5940 65 00 00 00 21 fc ff ff 49 6e 66 6f 52 65 66 2e e...!...InfoRef.
002e5950 70 75 74 5f 68 65 61 64 65 72 00 00 09 fc ff ff put_header......
002e5960 49 6e 66 6f 52 65 66 2e 69 6e 66 6f 6d 65 6e 75 InfoRef.infomenu
002e5970 00 00 00 00 fd fb ff ff 53 74 64 6c 69 62 5f 5f ........Stdlib__
002e5980 53 74 72 69 6e 67 2e 73 75 62 00 00 d9 fb ff ff String.sub......
002e5990 49 6e 66 6f 52 65 66 2e 66 6c 75 73 68 65 78 74 InfoRef.flushext
002e59a0 72 61 6e 6f 64 65 73 2e 66 6c 75 73 68 5f 72 65 ranodes.flush_re
002e59b0 63 00 00 00 a0 fb ff ff 53 74 64 6c 69 62 5f 5f c.......Stdlib__
002e59c0 4c 69 73 74 2e 72 65 76 00 00 00 00 99 fb ff ff List.rev........
002e59d0 49 6e 66 6f 52 65 66 2e 5f 5f 6f 63 61 6d 6c 5f InfoRef.__ocaml_
002e59e0 6c 65 78 5f 6e 75 6d 65 72 6f 5f 72 65 63 00 00 lex_numero_rec..
002e59f0 75 fb ff ff 49 6e 66 6f 52 65 66 2e 66 6c 75 73 u...InfoRef.flus
002e5a00 68 65 78 74 72 61 6e 6f 64 65 73 00 59 fb ff ff hextranodes.Y...
002e5a10 49 6e 66 6f 52 65 66 2e 63 68 65 72 63 68 65 5f InfoRef.cherche_
002e5a20 6d 65 6e 75 00 00 00 00 3d fb ff ff 49 6e 66 6f menu....=...Info
002e5a30 52 65 66 2e 61 66 66 69 63 68 65 5f 74 61 67 5f Ref.affiche_tag_
002e5a40 74 61 62 6c 65 2e 64 6f 5f 69 6e 64 69 72 65 63 table.do_indirec
002e5a50 74 00 00 00 2f fb ff ff 49 6e 66 6f 52 65 66 2e t.../...InfoRef.
002e5a60 6d 61 69 6e 00 00 00 00 fd fa ff ff 49 6e 66 6f main........Info
002e5a70 52 65 66 2e 70 75 74 5f 63 72 65 64 69 74 73 00 Ref.put_credits.
002e5a80 e5 fa ff ff 49 6e 66 6f 52 65 66 2e 68 6f 74 5f ....InfoRef.hot_
002e5a90 73 74 61 72 74 00 00 00 cd fa ff ff 49 6e 66 6f start.......Info
002e5aa0 52 65 66 2e 63 6f 6d 70 61 74 5f 6d 65 6d 00 00 Ref.compat_mem..
002e5ab0 b5 fa ff ff 49 6e 66 6f 52 65 66 2e 70 75 74 5f ....InfoRef.put_
002e5ac0 63 68 61 72 char
002e5ac4
002e5ac4 SwitchTable uint64_t
002e5ac4 0xbf7 0x14fed0 0x5 0xbf7 0x150400 0x5 0xbf7 0x157230
002e5b04 0x5 0xbf7 0x158770 0x5 0xbf7 0x159830 0x5 0xbf7
002e5b44 0x159880 0x5 0xbf7 0x14fba0 0x5 0xff7 0xf7080 0x7
002e5b84 0x14fbe0 0xff7 0xf7020 0x7 0x14fc50 0xbf7 0x14fd50 0x5
002e5bc4 0xff7 0xf7020 0x7 0x14fe50 0xbf7 0x14fec0 0x5 0xbf7
002e5c04 0x14ff50 0x5 0xbf7 0x14ffd0 0x5 0xbf7 0x150050 0x5
002e5c44 0xbf7 0x150100 0x5 0xff7 0xf6dc0 0x7 0x150130 0xff7
002e5c84 0xf7080 0x7 0x1502d0 0xbf7 0x150290 0x5 0xff7 0xf7020
002e5cc4 0x7 0x150510 0xbf7 0x150430 0x5 0xbf7 0x150790 0x5
002e5d04 0xbf7 0x1506d0 0x5 0xbf7 0x150990 0x5 0xbf7 0x150a00
002e5d44 0x5 0xff7 0xf70c0 0x7 0x150c00 0xbf7 0x150b50 0x5
002e5d84 0xbf7 0x150da0 0x5 0xbf7 0x150cc0 0x5 0xbf7 0x150e40
002e5dc4 0x5 0xbf7 0x150e70 0x5 0xbf7 0x150fa0 0x5 0xbf7
002e5e04 0x150ff0 0x5 0xbf7 0x151060 0x5 0xbf7 0x1515f0 0x5
002e5e44 0xff7 0xf7020 0x7 0x1516c0 0xbf7 0x151eb0 0x5 0xbf7
002e5e84 0x151fd0 0x5 0xbf7 0x151ef0 0x5 0xbf7 0x152040 0x5
002e5ec4 0xbf7 0x1520b0 0x5 0xbf7 0x152290 0x5 0xbf7 0x1523b0
002e5f04 0x5 0xbf7 0x1523d0 0x5 0xbf7 0x1523e0 0x5 0xbf7
002e5f44 0x152400 0x5 0xbf7 0x152430 0x5 0xbf7 0x1524f0 0x5
002e5f84 0xbf7 0x152540 0x5 0xbf7 0x152610 0x5 0xbf7 0x152620
002e5fc4 0x5 0xbf7 0x152630 0x5 0xbf7 0x1526d0 0x5 0x1ff7
002e6004 0xf7020 0xf 0x1526b0 0x10f9 0xf7020 0x7 0x1526a0 0xbf7
002e6044 0x1526e0 0x5 0xbf7 0x152820 0x5 0xbf7 0x152850 0x5
002e6084 0xbf7 0x152990 0x5 0xbf7 0x1529c0 0x5 0xff7 0xf7020
002e60c4 0x7 0x152a30 0xbf7 0x153270 0x5 0x1ff7 0xf6f30 0xf
002e6104 0x1536a0 0x10f9 0xf6f30 0x7 0x1534e0 0xbf7 0x1536c0 0x5
002e6144 0xff7 0xf7020 0x7 0x1538c0 0xbf7 0x1538f0 0x5 0xbf7
002e6184 0x1539c0 0x5 0xbf7 0x1539f0 0x5 0xff7 0xf7020 0x7
002e61c4 0x153bb0 0xff7 0xf7020 0x7 0x153a70 0xbf7 0x153bc0 0x5
002e6204 0xbf7 0x153bf0 0x5 0xbf7 0x153d40 0x5 0xbf7 0x153d30
002e6244 0x5 0xff7 0xf6dc0 0x7 0x153d50 0xbf7 0x153f30 0x5
002e6284 0xbf7 0x1540b0 0x5 0xbf7 0x154140 0x5 0xbf7 0x1541b0
002e62c4 0x5 0xbf7 0x154240 0x5 0xbf7 0x154280 0x5 0xbf7
002e6304 0x154300 0x5 0xbf7 0x154380 0x5 0xbf7 0x154450 0x5
002e6344 0xbf7 0x154470 0x5 0xbf7 0x1544c0 0x5 0xbf7 0x1544d0
002e6384 0x5 0xbf7 0x154560 0x5 0xbf7 0x154600 0x5 0xbf7
002e63c4 0x1546b0 0x5 0xbf7 0x1546d0 0x5 0xbf7 0x154750 0x5
002e6404 0xbf7 0x154760 0x5 0xbf7 0x154770 0x5 0xff7 0xf7020
002e6444 0x7 0x154780 0xbf7 0x154810 0x5 0xbf7 0x154820 0x5
002e6484 0xbf7 0x154830 0x5 0xff7 0xf7020 0x7 0x154840 0xff7
002e64c4 0xf7020 0x7 0x154930 0xff7 0xf7020 0x7 0x154a30 0xbf7
002e6504 0x154f10 0x5 0xbf7 0x155090 0x5 0xbf7 0x1552a0 0x5
002e6544 0xff7 0xf6dc0 0x7 0x155790 0xbf7 0x155af0 0x5 0xbf7
002e6584 0x1561e0 0x5 0xbf7 0x156230 0x5 0xbf7 0x156210 0x5
002e65c4 0xbf7 0x1561f0 0x5 0xbf7 0x156250 0x5 0xbf7 0x156400
002e6604 0x5 0xbf7 0x1563a0 0x5 0xbf7 0x1565a0 0x5 0xff7
002e6644 0xf7020 0x7 0x156700 0xff7 0xf7020 0x7 0x1569d0 0xff7
002e6684 0xf6dc0 0x7 0x156a70 0xff7 0xf7020 0x7 0x156b90 0xff7
002e66c4 0xf68c0 0x7 0x156c00 0xff7 0xf6f30 0x7 0x157040 0xff7
002e6704 0xf7020 0x7 0x157150 0xbf7 0x1571b0 0x5 0xbf7 0x1574f0
002e6744 0x5 0xbf7 0x157e90 0x5 0xff7 0xf6f30 0x7 0x157eb0
002e6784 0xff7 0xf6f30 0x7 0x157ea0 0xbf7 0x157ec0 0x5 0xff7
002e67c4 0xf7020 0x7 0x157f40 0xff7 0xf6f30 0x7 0x157fa0 0xbf7
002e6804 0x1582e0 0x5 0xbf7 0x1584e0 0x5 0xbf7 0x1585b0 0x5
002e6844 0xbf7 0x158690 0x5 0xbf7 0x158780 0x5 0xbf7 0x158840
002e6884 0x5 0xbf7 0x158850 0x5 0xbf7 0x1588e0 0x5 0xbf7
002e68c4 0x1589b0 0x5 0xbf7 0x158a90 0x5 0xbf7 0x158aa0 0x5
002e6904 0xbf7 0x158bd0 0x5 0xbf7 0x158b10 0x5 0xbf7 0x158d40
002e6944 0x5 0xbf7 0x158ca0 0x5 0xbf7 0x158c90 0x5 0xbf7
002e6984 0x158c60 0x5 0xbf7 0x158de0 0x5 0xff7 0xf6520 0x7
002e69c4 0x159400 0xff7 0xf6b90 0x7 0x159300 0xff7 0xf6b90 0x7
002e6a04 0x158f90 0xbf7 0x159500 0x5 0xbf7 0x1597a0 0x5 0xbf7
002e6a44 0x1597d0 0x5 0xbf7 0x1598c0 0x5 0xff7 0xf6f30 0x7
002e6a84 0x159950 0xff7 0xf7020 0x7 0x1599f0 0x2a700 0x1 0x1
002e6ac4 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002e6b04 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002e6b44 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002e6b84 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002e6bc4 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002e6c04 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002e6c44 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002e6c84 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002e6cc4 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002e6d04 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002e6d44 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002e6d84 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002e6dc4 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002e6e04 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002e6e44 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002e6e84 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002e6ec4 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002e6f04 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002e6f44 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002e6f84 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002e6fc4 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x2e6ab8
002e7004
002e7004 00 00 00 00 00 00 00 00 ........
002e700c
002e700c SwitchTable
002e700c 0x7fc 0xa27 0xbfc
002e7024
002e7024 00 00 00 00 ....
002e7028
002e7028 string "' with '",0
002e7031
002e7031 00 00 00 00 00 00 07 fc 0f 00 00 00 00 00 00 ...............
002e7040
002e7040 string "line underlined: '",0
002e7053
002e7053 00 00 00 00 05 fc 07 00 00 00 00 00 00 .............
002e7060
002e7060 string "false",0 ← 0x1512ec
002e7066
002e7066 00 02 fc 07 00 00 00 00 00 00 ..........
002e7070
002e7070 string "true" ← 0x1512e1
002e7074
002e7074 SwitchTable
002e7074 0x7fc 0x23 0x13fc
002e708c
002e708c 00 00 00 00 ....
002e7090
002e7090 string "cannot underline with nothing:#",0 ← 0x15133f
002e70b0
002e70b0 fc 07 00 00 00 00 00 00 ........
002e70b8
002e70b8 ; line : ← 0x151251
002e70b8 6c 69 6e 65 line
002e70bc
002e70bc SwitchTable
002e70bc 0x7fc 0xa 0x13fc
002e70d4
002e70d4 00 00 00 00 ....
002e70d8
002e70d8 ; is non-empty in Html.finalize ← 0x1509ba
002e70d8 20 69 73 20 6e 6f 6e 2d is non-
002e70e0 65 6d 70 74 79 20 69 6e 20 48 74 6d 6c 2e 66 69 empty in Html.fi
002e70f0 6e 61 6c 69 nali
002e70f4
002e70f4 SwitchTable
002e70f4 0xb00 0x7 0x2e71e0 0xbfc
002e7114
002e7114 00 00 00 00 ....
002e7118
002e7118 string "Warning: stack ",0 ← 0x1509cd
002e7128
002e7128 fc 07 00 00 00 00 00 00 ........
002e7130
002e7130 string "after",0 ← 0x159f98
002e7136
002e7136 00 02 fc 0b 00 00 00 00 00 00 ..........
002e7140
002e7140 string "pending_par",0 ← 0x159fbf
002e714c
002e714c 00 00 00 04 ....
002e7150 fc 07 00 00 00 00 00 00 ........
002e7158
002e7158 string "active",0 ← 0x159fe5
002e715f
002e715f 01 .
002e7160 fc 07 00 00 00 00 00 00 ........
002e7168
002e7168 string "vsize",0 ← 0x15a00b
002e716e
002e716e 00 02 ..
002e7170 fc 0b 00 00 00 00 00 00 ........
002e7178
002e7178 string "in_table",0 ← 0x15a032
002e7181
002e7181 00 00 00 00 00 00 07 fc 07 00 00 00 00 00 00 ...............
002e7190
002e7190 string "nocount",0 ← 0x15a05a
002e7198
002e7198 fc 0b 00 00 00 00 00 00 ........
002e71a0
002e71a0 string "underline",0 ← 0x15a083
002e71aa
002e71aa 00 00 00 00 00 06 ......
002e71b0 fc 0b 00 00 00 00 00 00 ........
002e71b8
002e71b8 string "in_align",0 ← 0x15a0a9
002e71c1
002e71c1 00 00 00 00 00 00 07 fc 07 00 00 00 00 00 00 ...............
002e71d0
002e71d0 string "align",0 ← 0x15a0cf
002e71d6
002e71d6 00 02 fc 0b 00 00 00 00 00 00 ..........
002e71e0
002e71e0 ; QUOTATION
002e71e0 51 55 4f 54 QUOT
002e71e4
002e71e4 SwitchTable
002e71e4 0x4e 0x7fc 0x78 0x7fc
002e7204
002e7204 00 00 00 00 ....
002e7208
002e7208 ; dcount ← 0x15a11b
002e7208 64 63 6f 75 dcou
002e720c
002e720c SwitchTable
002e720c 0x7fc 0x7464 0x7fc
002e7224
002e7224 00 00 00 00 ....
002e7228
002e7228 ; nitems ← 0x15a167
002e7228 6e 69 74 65 nite
002e722c
002e722c SwitchTable
002e722c 0xf00 0x2e7418 0x147 0x9 0xbfc
002e7230
002e7230 PointerTable
002e7230 0xf00 0x2e7418 0x147 0x9
002e7254
002e7254 00 00 00 00 ....
002e7258
002e7258 string "out_stack",0 ← 0x159ce9
002e7262
002e7262 00 00 00 00 00 06 fc 07 00 00 00 00 00 00 ..............
002e7270
002e7270 string "Freeze ",0 ← 0x14fef1
002e7278
002e7278 SwitchTable
002e7278 0xb00 0x2e72b0 0x2e7298 0xbfc
002e7280
002e7280 PointerTable ← camlText.fun_2113
002e7280 0x2e72b0 0x2e7298
002e7298
002e7298 ; [%s]-{%s}
002e7298 5b 25 73 5d [%s]
002e729c
002e729c SwitchTable
002e729c 0x207d 0xb0c 0xb7 0x2e72e0 0xb00 0x5 0x2e73b8 0xb02
002e72dc 0x1 0x2e72f8 0xb0b 0x2e7350 0x2e7310 0xb02 0x1 0x2e7328
002e731c 0xb0b 0x2e7340 0x1 0x7fc 0x207d 0x7fc
002e72b0
002e72b0 PointerTable
002e72b0 0xb7 0x2e72e0
002e72f8
002e72f8 PointerTable
002e72f8 0x2e7350 0x2e7310
002e734c
002e734c 00 00 00 00 ....
002e7350
002e7350 string "]-{",0
002e7354
002e7354 00 00 00 04 fc 0b 00 00 00 00 00 00 ............
002e7360
002e7360 ; Text.PopFreeze ← 0x159c05
002e7360 54 65 78 74 2e 50 6f 70 46 72 65 65 Text.PopFree
002e736c
002e736c SwitchTable
002e736c 0xb00 0x2e73a0 0x2e7390 0x7fc
002e7378
002e7378 PointerTable ← camlText.pp_block_727
002e7378 0x2e73a0 0x2e7390
002e738c
002e738c 00 00 00 00 ....
002e7390
002e7390 string "'%s'"
002e7394
002e7394 SwitchTable
002e7394 0xb0c 0x4f 0x2e73c8 0x7fc
002e73a0
002e73a0 PointerTable
002e73a0 0x4f 0x2e73c8
002e73b4
002e73b4 00 00 00 00 ....
002e73b8
002e73b8 ; QUOTE
002e73b8 51 55 4f 54 QUOT
002e73bc
002e73bc SwitchTable
002e73bc 0xb02 0x1 0x2e73e0 0xb0c 0x4f 0x1 0xf00 0x2e7418
002e73fc 0xab 0x17 0x7fc
002e73f0
002e73f0 PointerTable
002e73f0 0xf00 0x2e7418 0xab 0x17
002e7414
002e7414 00 00 00 00 ....
002e7418
002e7418 ; text.ml
002e7418 74 65 78 74 text
002e741c
002e741c SwitchTable
002e741c 0xb00
002e7424
002e7424 00 00 00 00 ....
002e7428
002e7428 PointerTable ← camlText.tr_block_630
002e7428 0x2e7470 0x2e7440
002e7438
002e7438 fc 17 00 00 00 00 00 00 ........
002e7440
002e7440 ; Undefined block in text mode: '%s' [%s]
002e7440 55 6e 64 65 66 69 6e 65 64 20 62 6c 6f 63 6b 20 Undefined block
002e7450 69 6e 20 74 65 78 74 20 6d 6f 64 65 3a 20 27 25 in text mode: '%
002e7460 73 27 20 5b s' [
002e7464
002e7464 SwitchTable
002e7464 0xb0b 0x2e7510 0x2e7488 0xb02 0x1 0x2e74a0 0xb0b 0x2e7500
002e74a4 0x2e74b8 0xb02 0x1 0x2e74e8 0xb00 0x3 0x2e75e0 0xb0c
002e74e4 0xbb 0x1 0x7fc
002e7470
002e7470 PointerTable
002e7470 0x2e7510 0x2e7488
002e74a0
002e74a0 PointerTable
002e74a0 0x2e7500 0x2e74b8
002e74fc
002e74fc 00 00 00 00 ....
002e7500
002e7500 string "' [",0
002e7504
002e7504 00 00 00 04 fc 13 00 00 00 00 00 00 ............
002e7510
002e7510 string "Undefined block in text mode: '",0
002e7530
002e7530 SwitchTable
002e7530 0xb00
002e7538
002e7538 PointerTable ← camlText.entry
002e7538 0x2e7b48 0x2e7550
002e7548
002e7548 00 0b 00 00 00 00 00 00 ........
002e7550
002e7550 PointerTable
002e7550 0x2e74d0 0x2e7568
002e7560
002e7560 00 0b 00 00 00 00 00 00 ........
002e7568
002e7568 PointerTable
002e7568 0x2e72c8 0x2e7580
002e7578
002e7578 00 0b 00 00 00 00 00 00 ........
002e7580
002e7580 PointerTable
002e7580 0x2e7100 0x2e7598
002e7590
002e7590 00 0b 00 00 00 00 00 00 ........
002e7598
002e7598 PointerTable
002e7598 0x2e8fe8 0x2e75b0
002e75a8
002e75a8 00 0b 00 00 00 00 00 00 ........
002e75b0
002e75b0 PointerTable
002e75b0 0x2e8df8 0x2e75c8
002e75c0
002e75c0 00 0b 00 00 00 00 00 00 ........
002e75c8
002e75c8 PointerTable
002e75c8 0x2e8bb0 0x2e75f0
002e75d8
002e75d8 fc 07 00 00 00 00 00 00 ........
002e75e0
002e75e0 string "HEAD"
002e75e4
002e75e4 SwitchTable
002e75e4 0xb00 0x2e8988 0x2e7608 0xb00 0x2e8770 0x2e7620 0xb00 0x2e8558
002e7624 0x2e7638 0xb00 0x2e8350 0x2e7650 0xb00 0x2e80d8 0x2e7728 0x7fc
002e7664 0x2e 0x7fc 0x3e 0x7fc 0x3c 0xb00 0x2e76e0 0x2e76b0
002e76a4 0x17fc
002e75f0
002e75f0 PointerTable
002e75f0 0x2e8988 0x2e7608
002e7608
002e7608 PointerTable
002e7608 0x2e8770 0x2e7620
002e7620
002e7620 PointerTable
002e7620 0x2e8558 0x2e7638
002e7638
002e7638 PointerTable
002e7638 0x2e8350 0x2e7650
002e7650
002e7650 PointerTable
002e7650 0x2e80d8 0x2e7728
002e7698
002e7698 PointerTable ← camlText.insert_vdisplay_1835
002e7698 0x2e76e0 0x2e76b0
002e76ac
002e76ac 00 00 00 00 ....
002e76b0
002e76b0 ; insert_vdisplay : %s closes the table.
002e76b0 69 6e 73 65 72 74 5f 76 64 69 73 70 6c 61 79 20 insert_vdisplay
002e76c0 3a 20 25 73 20 63 6c 6f 73 65 73 20 74 68 65 20 : %s closes the
002e76d0 74 61 62 6c tabl
002e76d4
002e76d4 SwitchTable
002e76d4 0xb0b 0x2e78d8 0x2e76f8 0xb02 0x1 0x2e7710 0xb0b 0x2e7740
002e7714 0x1 0xb00 0x2e7eb0 0x2e7870 0xffc
002e76e0
002e76e0 PointerTable
002e76e0 0x2e78d8 0x2e76f8
002e7728
002e7728 PointerTable
002e7728 0x2e7eb0 0x2e7870
002e773c
002e773c 00 00 00 00 ....
002e7740
002e7740 ; closes the table.
002e7740 20 63 6c 6f 73 65 73 20 74 68 65 20 closes the
002e774c
002e774c SwitchTable
002e774c 0x2e65 0xb00 0x2e77a8 0x2e7778 0x17fc
002e7760
002e7760 PointerTable ← camlText.insert_vdisplay_1835
002e7760 0x2e77a8 0x2e7778
002e7774
002e7774 00 00 00 00 ....
002e7778
002e7778 string "insert_vdisplay : %s closes the cell2.",0
002e77a0
002e77a0 SwitchTable
002e77a0 0xb0b 0x2e78d8 0x2e77c0 0xb02 0x1 0x2e77d8 0xb0b 0x2e77f0
002e77e0 0x1 0xffc
002e77a8
002e77a8 PointerTable
002e77a8 0x2e78d8 0x2e77c0
002e77f0
002e77f0 ; closes the cell2.
002e77f0 20 20 63 6c 6f 73 65 73 20 74 68 65 closes the
002e77fc
002e77fc SwitchTable
002e77fc 0x2e326c 0xb00
002e780c
002e780c 00 00 00 00 ....
002e7810
002e7810 PointerTable ← camlText.insert_vdisplay_1835
002e7810 0x2e7858 0x2e7828
002e7820
002e7820 fc 17 00 00 00 00 00 00 ........
002e7828
002e7828 ; insert_vdisplay : %s closes the cell.
002e7828 69 6e 73 65 72 74 5f 76 insert_v
002e7830 64 69 73 70 6c 61 79 20 3a 20 25 73 20 63 6c 6f display : %s clo
002e7840 73 65 73 20 74 68 65 20 63 65 6c 6c ses the cell
002e784c
002e784c SwitchTable
002e784c 0xb0b 0x2e78d8 0x2e7888 0xb00 0x2e7c48 0x2e7958 0xb02 0x1
002e788c 0x2e78a0 0xb0b 0x2e78b8 0x1 0xffc
002e7858
002e7858 PointerTable
002e7858 0x2e78d8 0x2e7888
002e7870
002e7870 PointerTable
002e7870 0x2e7c48 0x2e7958
002e78b4
002e78b4 00 00 00 00 ....
002e78b8
002e78b8 string " closes the cell.",0
002e78ca
002e78ca 00 00 00 00 00 06 ......
002e78d0 fc 0f 00 00 00 00 00 00 ........
002e78d8
002e78d8 ; insert_vdisplay :
002e78d8 69 6e 73 65 72 74 5f 76 insert_v
002e78e0 64 69 73 70 disp
002e78e4
002e78e4 SwitchTable
002e78e4 0x203a 0x7fc 0x5e 0x7fc 0x5f 0x7fc
002e7914
002e7914 00 00 00 00 ....
002e7918
002e7918 string "cmm",0 ← 0x159091
002e791c
002e791c SwitchTable
002e791c 0x7fc 0x6d6c 0x7fc 0x626c 0x7fc 0x746c 0xb00 0x2e7a58
002e795c 0x1 0x7fc 0x6d63 0xb00 0x2e79b8 0x2e7998 0xffc
002e7980
002e7980 PointerTable ← camlText.insert_sup_sub_1799
002e7980 0x2e79b8 0x2e7998
002e7994
002e7994 00 00 00 00 ....
002e7998
002e7998 ; sup_sub : %s closes ""
002e7998 73 75 70 5f 73 75 62 20 sup_sub
002e79a0 3a 20 25 73 20 63 6c 6f 73 65 73 20 : %s closes
002e79ac
002e79ac SwitchTable
002e79ac 0xb0b 0x2e7a18 0x2e79d0 0xb02 0x1 0x2e79e8 0xb0b 0x2e7a00
002e79ec 0x1 0xbfc
002e79b8
002e79b8 PointerTable
002e79b8 0x2e7a18 0x2e79d0
002e79fc
002e79fc 00 00 00 00 ....
002e7a00
002e7a00 string " closes \"\"",0
002e7a0b
002e7a0b 00 00 00 00 05 .....
002e7a10 fc 0b 00 00 00 00 00 00 ........
002e7a18
002e7a18 string "sup_sub : ",0
002e7a23
002e7a23 00 00 00 00 05 fc 0b 00 00 00 00 00 00 .............
002e7a30
002e7a30 string "close_maths",0 ← 0x158c3c
002e7a3c
002e7a3c 00 00 00 04 ....
002e7a40 fc 07 00 00 00 00 00 00 ........
002e7a48
002e7a48 ; CENTER ← 0x158b59
002e7a48 43 45 4e 54 CENT
002e7a4c
002e7a4c SwitchTable
002e7a4c 0xb00 0x1d 0x2e7b38 0xbfc
002e7a58
002e7a58 PointerTable
002e7a58 0x1d 0x2e7b38
002e7a6c
002e7a6c 00 00 00 00 ....
002e7a70
002e7a70 string "open_maths",0 ← 0x158b3e
002e7a7b
002e7a7b 00 00 00 00 05 .....
002e7a80 fc 0b 00 00 00 00 00 00 ........
002e7a88
002e7a88 ; erase_display ← 0x158ac2
002e7a88 65 72 61 73 65 5f 64 69 erase_di
002e7a90 73 70 6c 61 spla
002e7a94
002e7a94 SwitchTable
002e7a94 0x7fc 0x7b 0xbfc
002e7aac
002e7aac 00 00 00 00 ....
002e7ab0
002e7ab0 string "flush_freeze",0 ← 0x158624