home *** CD-ROM | disk | FTP | other *** search
- # LaTeX2HTML 2022 (Released January 1, 2022)
- # Associate internals original text with physical files.
-
-
- $key = q/A/;
- $ref_files{$key} = "$dir".q|node2_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/B/;
- $ref_files{$key} = "$dir".q|node6_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/C/;
- $ref_files{$key} = "$dir".q|node10_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/D/;
- $ref_files{$key} = "$dir".q|node14_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/E/;
- $ref_files{$key} = "$dir".q|node25_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/F/;
- $ref_files{$key} = "$dir".q|node28_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/G/;
- $ref_files{$key} = "$dir".q|node32_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/H/;
- $ref_files{$key} = "$dir".q|node33_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/I/;
- $ref_files{$key} = "$dir".q|node36_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/J/;
- $ref_files{$key} = "$dir".q|node44_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/K/;
- $ref_files{$key} = "$dir".q|node46_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/L/;
- $ref_files{$key} = "$dir".q|node50_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/LaTeX/;
- $ref_files{$key} = "$dir".q|node52_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/M/;
- $ref_files{$key} = "$dir".q|node57_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/N/;
- $ref_files{$key} = "$dir".q|node64_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/O/;
- $ref_files{$key} = "$dir".q|node66_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/P/;
- $ref_files{$key} = "$dir".q|node67_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/Q/;
- $ref_files{$key} = "$dir".q|node73_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/R/;
- $ref_files{$key} = "$dir".q|node74_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/Remove_Item_Tag_button/;
- $ref_files{$key} = "$dir".q|node75_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/S/;
- $ref_files{$key} = "$dir".q|node76_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/T/;
- $ref_files{$key} = "$dir".q|node83_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/U/;
- $ref_files{$key} = "$dir".q|node87_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/V/;
- $ref_files{$key} = "$dir".q|node88_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/W/;
- $ref_files{$key} = "$dir".q|node89_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/X/;
- $ref_files{$key} = "$dir".q|node90_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/Y/;
- $ref_files{$key} = "$dir".q|node91_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/Z/;
- $ref_files{$key} = "$dir".q|node92_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/alignment/;
- $ref_files{$key} = "$dir".q|node3_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/arrow_keys/;
- $ref_files{$key} = "$dir".q|node4_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/auto/;
- $ref_files{$key} = "$dir".q|node5_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/body_tag/;
- $ref_files{$key} = "$dir".q|node7_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/body_text/;
- $ref_files{$key} = "$dir".q|node8_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/button/;
- $ref_files{$key} = "$dir".q|node9_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cell/;
- $ref_files{$key} = "$dir".q|node11_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/copy/;
- $ref_files{$key} = "$dir".q|node12_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cut/;
- $ref_files{$key} = "$dir".q|node13_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/decorations/;
- $ref_files{$key} = "$dir".q|node15_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/default/;
- $ref_files{$key} = "$dir".q|node16_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/delete/;
- $ref_files{$key} = "$dir".q|node17_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/dialog_boxes/;
- $ref_files{$key} = "$dir".q|node18_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/directory/;
- $ref_files{$key} = "$dir".q|node19_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/displayed_mathematics/;
- $ref_files{$key} = "$dir".q|node20_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/displayed_placement/;
- $ref_files{$key} = "$dir".q|node21_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/dock/;
- $ref_files{$key} = "$dir".q|node22_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/document_info/;
- $ref_files{$key} = "$dir".q|node23_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/document_window/;
- $ref_files{$key} = "$dir".q|node24_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/entry_area/;
- $ref_files{$key} = "$dir".q|node26_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/external_program_call/;
- $ref_files{$key} = "$dir".q|node27_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/file/;
- $ref_files{$key} = "$dir".q|node29_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/fragment/;
- $ref_files{$key} = "$dir".q|node30_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/frame/;
- $ref_files{$key} = "$dir".q|node31_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/helper_lines/;
- $ref_files{$key} = "$dir".q|node34_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/hypertext_link/;
- $ref_files{$key} = "$dir".q|node35_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/in-line_mathematics/;
- $ref_files{$key} = "$dir".q|node38_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/in-line_placement/;
- $ref_files{$key} = "$dir".q|node39_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/indentation/;
- $ref_files{$key} = "$dir".q|node37_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/input_box/;
- $ref_files{$key} = "$dir".q|node40_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/insertion_point/;
- $ref_files{$key} = "$dir".q|node41_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/invisibles/;
- $ref_files{$key} = "$dir".q|node42_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/item_tag/;
- $ref_files{$key} = "$dir".q|node43_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/jump/;
- $ref_files{$key} = "$dir".q|node45_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/key/;
- $ref_files{$key} = "$dir".q|node47_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/key_prefix/;
- $ref_files{$key} = "$dir".q|node48_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/keyboard_shortcut/;
- $ref_files{$key} = "$dir".q|node49_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/landscape/;
- $ref_files{$key} = "$dir".q|node51_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/leadin_object/;
- $ref_files{$key} = "$dir".q|node53_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/limit_position/;
- $ref_files{$key} = "$dir".q|node54_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/line_break/;
- $ref_files{$key} = "$dir".q|node55_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/list/;
- $ref_files{$key} = "$dir".q|node56_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/main_window/;
- $ref_files{$key} = "$dir".q|node58_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/margin_note/;
- $ref_files{$key} = "$dir".q|node59_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/marker/;
- $ref_files{$key} = "$dir".q|node60_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/math_names/;
- $ref_files{$key} = "$dir".q|node61_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/math_text/;
- $ref_files{$key} = "$dir".q|node62_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/mathematical_object/;
- $ref_files{$key} = "$dir".q|node63_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/nonprinting_characters/;
- $ref_files{$key} = "$dir".q|node65_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/page_break/;
- $ref_files{$key} = "$dir".q|node68_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/paste/;
- $ref_files{$key} = "$dir".q|node69_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/path_name/;
- $ref_files{$key} = "$dir".q|node70_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/popup_list/;
- $ref_files{$key} = "$dir".q|node71_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/portrait/;
- $ref_files{$key} = "$dir".q|node72_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/scroll_bars/;
- $ref_files{$key} = "$dir".q|node77_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/section_heading/;
- $ref_files{$key} = "$dir".q|node78_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/section_tag/;
- $ref_files{$key} = "$dir".q|node79_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/select/;
- $ref_files{$key} = "$dir".q|node80_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/shell/;
- $ref_files{$key} = "$dir".q|node81_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/size/;
- $ref_files{$key} = "$dir".q|node82_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/tag/;
- $ref_files{$key} = "$dir".q|node84_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/tagged_information/;
- $ref_files{$key} = "$dir".q|node85_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/text_tag/;
- $ref_files{$key} = "$dir".q|node86_ct.html|;
- $noresave{$key} = "$nosave";
-
- 1;
-
-