home *** CD-ROM | disk | FTP | other *** search
/ Class of 2001 / ClassOf2001.iso / Scinotebook / scinoteb / help / glossary.tex / labels.pl < prev    next >
Encoding:
Text File  |  1997-05-15  |  9.5 KB  |  378 lines

  1. # LaTeX2HTML 2022 (Released January 1, 2022)
  2. # Associate labels original text with physical files.
  3.  
  4.  
  5. $key = q/A/;
  6. $external_labels{$key} = "$URL/" . q|node2_ct.html|; 
  7. $noresave{$key} = "$nosave";
  8.  
  9. $key = q/B/;
  10. $external_labels{$key} = "$URL/" . q|node6_ct.html|; 
  11. $noresave{$key} = "$nosave";
  12.  
  13. $key = q/C/;
  14. $external_labels{$key} = "$URL/" . q|node10_ct.html|; 
  15. $noresave{$key} = "$nosave";
  16.  
  17. $key = q/D/;
  18. $external_labels{$key} = "$URL/" . q|node14_ct.html|; 
  19. $noresave{$key} = "$nosave";
  20.  
  21. $key = q/E/;
  22. $external_labels{$key} = "$URL/" . q|node25_ct.html|; 
  23. $noresave{$key} = "$nosave";
  24.  
  25. $key = q/F/;
  26. $external_labels{$key} = "$URL/" . q|node28_ct.html|; 
  27. $noresave{$key} = "$nosave";
  28.  
  29. $key = q/G/;
  30. $external_labels{$key} = "$URL/" . q|node32_ct.html|; 
  31. $noresave{$key} = "$nosave";
  32.  
  33. $key = q/H/;
  34. $external_labels{$key} = "$URL/" . q|node33_ct.html|; 
  35. $noresave{$key} = "$nosave";
  36.  
  37. $key = q/I/;
  38. $external_labels{$key} = "$URL/" . q|node36_ct.html|; 
  39. $noresave{$key} = "$nosave";
  40.  
  41. $key = q/J/;
  42. $external_labels{$key} = "$URL/" . q|node44_ct.html|; 
  43. $noresave{$key} = "$nosave";
  44.  
  45. $key = q/K/;
  46. $external_labels{$key} = "$URL/" . q|node46_ct.html|; 
  47. $noresave{$key} = "$nosave";
  48.  
  49. $key = q/L/;
  50. $external_labels{$key} = "$URL/" . q|node50_ct.html|; 
  51. $noresave{$key} = "$nosave";
  52.  
  53. $key = q/LaTeX/;
  54. $external_labels{$key} = "$URL/" . q|node52_ct.html|; 
  55. $noresave{$key} = "$nosave";
  56.  
  57. $key = q/M/;
  58. $external_labels{$key} = "$URL/" . q|node57_ct.html|; 
  59. $noresave{$key} = "$nosave";
  60.  
  61. $key = q/N/;
  62. $external_labels{$key} = "$URL/" . q|node64_ct.html|; 
  63. $noresave{$key} = "$nosave";
  64.  
  65. $key = q/O/;
  66. $external_labels{$key} = "$URL/" . q|node66_ct.html|; 
  67. $noresave{$key} = "$nosave";
  68.  
  69. $key = q/P/;
  70. $external_labels{$key} = "$URL/" . q|node67_ct.html|; 
  71. $noresave{$key} = "$nosave";
  72.  
  73. $key = q/Q/;
  74. $external_labels{$key} = "$URL/" . q|node73_ct.html|; 
  75. $noresave{$key} = "$nosave";
  76.  
  77. $key = q/R/;
  78. $external_labels{$key} = "$URL/" . q|node74_ct.html|; 
  79. $noresave{$key} = "$nosave";
  80.  
  81. $key = q/Remove_Item_Tag_button/;
  82. $external_labels{$key} = "$URL/" . q|node75_ct.html|; 
  83. $noresave{$key} = "$nosave";
  84.  
  85. $key = q/S/;
  86. $external_labels{$key} = "$URL/" . q|node76_ct.html|; 
  87. $noresave{$key} = "$nosave";
  88.  
  89. $key = q/T/;
  90. $external_labels{$key} = "$URL/" . q|node83_ct.html|; 
  91. $noresave{$key} = "$nosave";
  92.  
  93. $key = q/U/;
  94. $external_labels{$key} = "$URL/" . q|node87_ct.html|; 
  95. $noresave{$key} = "$nosave";
  96.  
  97. $key = q/V/;
  98. $external_labels{$key} = "$URL/" . q|node88_ct.html|; 
  99. $noresave{$key} = "$nosave";
  100.  
  101. $key = q/W/;
  102. $external_labels{$key} = "$URL/" . q|node89_ct.html|; 
  103. $noresave{$key} = "$nosave";
  104.  
  105. $key = q/X/;
  106. $external_labels{$key} = "$URL/" . q|node90_ct.html|; 
  107. $noresave{$key} = "$nosave";
  108.  
  109. $key = q/Y/;
  110. $external_labels{$key} = "$URL/" . q|node91_ct.html|; 
  111. $noresave{$key} = "$nosave";
  112.  
  113. $key = q/Z/;
  114. $external_labels{$key} = "$URL/" . q|node92_ct.html|; 
  115. $noresave{$key} = "$nosave";
  116.  
  117. $key = q/alignment/;
  118. $external_labels{$key} = "$URL/" . q|node3_ct.html|; 
  119. $noresave{$key} = "$nosave";
  120.  
  121. $key = q/arrow_keys/;
  122. $external_labels{$key} = "$URL/" . q|node4_ct.html|; 
  123. $noresave{$key} = "$nosave";
  124.  
  125. $key = q/auto/;
  126. $external_labels{$key} = "$URL/" . q|node5_ct.html|; 
  127. $noresave{$key} = "$nosave";
  128.  
  129. $key = q/body_tag/;
  130. $external_labels{$key} = "$URL/" . q|node7_ct.html|; 
  131. $noresave{$key} = "$nosave";
  132.  
  133. $key = q/body_text/;
  134. $external_labels{$key} = "$URL/" . q|node8_ct.html|; 
  135. $noresave{$key} = "$nosave";
  136.  
  137. $key = q/button/;
  138. $external_labels{$key} = "$URL/" . q|node9_ct.html|; 
  139. $noresave{$key} = "$nosave";
  140.  
  141. $key = q/cell/;
  142. $external_labels{$key} = "$URL/" . q|node11_ct.html|; 
  143. $noresave{$key} = "$nosave";
  144.  
  145. $key = q/copy/;
  146. $external_labels{$key} = "$URL/" . q|node12_ct.html|; 
  147. $noresave{$key} = "$nosave";
  148.  
  149. $key = q/cut/;
  150. $external_labels{$key} = "$URL/" . q|node13_ct.html|; 
  151. $noresave{$key} = "$nosave";
  152.  
  153. $key = q/decorations/;
  154. $external_labels{$key} = "$URL/" . q|node15_ct.html|; 
  155. $noresave{$key} = "$nosave";
  156.  
  157. $key = q/default/;
  158. $external_labels{$key} = "$URL/" . q|node16_ct.html|; 
  159. $noresave{$key} = "$nosave";
  160.  
  161. $key = q/delete/;
  162. $external_labels{$key} = "$URL/" . q|node17_ct.html|; 
  163. $noresave{$key} = "$nosave";
  164.  
  165. $key = q/dialog_boxes/;
  166. $external_labels{$key} = "$URL/" . q|node18_ct.html|; 
  167. $noresave{$key} = "$nosave";
  168.  
  169. $key = q/directory/;
  170. $external_labels{$key} = "$URL/" . q|node19_ct.html|; 
  171. $noresave{$key} = "$nosave";
  172.  
  173. $key = q/displayed_mathematics/;
  174. $external_labels{$key} = "$URL/" . q|node20_ct.html|; 
  175. $noresave{$key} = "$nosave";
  176.  
  177. $key = q/displayed_placement/;
  178. $external_labels{$key} = "$URL/" . q|node21_ct.html|; 
  179. $noresave{$key} = "$nosave";
  180.  
  181. $key = q/dock/;
  182. $external_labels{$key} = "$URL/" . q|node22_ct.html|; 
  183. $noresave{$key} = "$nosave";
  184.  
  185. $key = q/document_info/;
  186. $external_labels{$key} = "$URL/" . q|node23_ct.html|; 
  187. $noresave{$key} = "$nosave";
  188.  
  189. $key = q/document_window/;
  190. $external_labels{$key} = "$URL/" . q|node24_ct.html|; 
  191. $noresave{$key} = "$nosave";
  192.  
  193. $key = q/entry_area/;
  194. $external_labels{$key} = "$URL/" . q|node26_ct.html|; 
  195. $noresave{$key} = "$nosave";
  196.  
  197. $key = q/external_program_call/;
  198. $external_labels{$key} = "$URL/" . q|node27_ct.html|; 
  199. $noresave{$key} = "$nosave";
  200.  
  201. $key = q/file/;
  202. $external_labels{$key} = "$URL/" . q|node29_ct.html|; 
  203. $noresave{$key} = "$nosave";
  204.  
  205. $key = q/fragment/;
  206. $external_labels{$key} = "$URL/" . q|node30_ct.html|; 
  207. $noresave{$key} = "$nosave";
  208.  
  209. $key = q/frame/;
  210. $external_labels{$key} = "$URL/" . q|node31_ct.html|; 
  211. $noresave{$key} = "$nosave";
  212.  
  213. $key = q/helper_lines/;
  214. $external_labels{$key} = "$URL/" . q|node34_ct.html|; 
  215. $noresave{$key} = "$nosave";
  216.  
  217. $key = q/hypertext_link/;
  218. $external_labels{$key} = "$URL/" . q|node35_ct.html|; 
  219. $noresave{$key} = "$nosave";
  220.  
  221. $key = q/in-line_mathematics/;
  222. $external_labels{$key} = "$URL/" . q|node38_ct.html|; 
  223. $noresave{$key} = "$nosave";
  224.  
  225. $key = q/in-line_placement/;
  226. $external_labels{$key} = "$URL/" . q|node39_ct.html|; 
  227. $noresave{$key} = "$nosave";
  228.  
  229. $key = q/indentation/;
  230. $external_labels{$key} = "$URL/" . q|node37_ct.html|; 
  231. $noresave{$key} = "$nosave";
  232.  
  233. $key = q/input_box/;
  234. $external_labels{$key} = "$URL/" . q|node40_ct.html|; 
  235. $noresave{$key} = "$nosave";
  236.  
  237. $key = q/insertion_point/;
  238. $external_labels{$key} = "$URL/" . q|node41_ct.html|; 
  239. $noresave{$key} = "$nosave";
  240.  
  241. $key = q/invisibles/;
  242. $external_labels{$key} = "$URL/" . q|node42_ct.html|; 
  243. $noresave{$key} = "$nosave";
  244.  
  245. $key = q/item_tag/;
  246. $external_labels{$key} = "$URL/" . q|node43_ct.html|; 
  247. $noresave{$key} = "$nosave";
  248.  
  249. $key = q/jump/;
  250. $external_labels{$key} = "$URL/" . q|node45_ct.html|; 
  251. $noresave{$key} = "$nosave";
  252.  
  253. $key = q/key/;
  254. $external_labels{$key} = "$URL/" . q|node47_ct.html|; 
  255. $noresave{$key} = "$nosave";
  256.  
  257. $key = q/key_prefix/;
  258. $external_labels{$key} = "$URL/" . q|node48_ct.html|; 
  259. $noresave{$key} = "$nosave";
  260.  
  261. $key = q/keyboard_shortcut/;
  262. $external_labels{$key} = "$URL/" . q|node49_ct.html|; 
  263. $noresave{$key} = "$nosave";
  264.  
  265. $key = q/landscape/;
  266. $external_labels{$key} = "$URL/" . q|node51_ct.html|; 
  267. $noresave{$key} = "$nosave";
  268.  
  269. $key = q/leadin_object/;
  270. $external_labels{$key} = "$URL/" . q|node53_ct.html|; 
  271. $noresave{$key} = "$nosave";
  272.  
  273. $key = q/limit_position/;
  274. $external_labels{$key} = "$URL/" . q|node54_ct.html|; 
  275. $noresave{$key} = "$nosave";
  276.  
  277. $key = q/line_break/;
  278. $external_labels{$key} = "$URL/" . q|node55_ct.html|; 
  279. $noresave{$key} = "$nosave";
  280.  
  281. $key = q/list/;
  282. $external_labels{$key} = "$URL/" . q|node56_ct.html|; 
  283. $noresave{$key} = "$nosave";
  284.  
  285. $key = q/main_window/;
  286. $external_labels{$key} = "$URL/" . q|node58_ct.html|; 
  287. $noresave{$key} = "$nosave";
  288.  
  289. $key = q/margin_note/;
  290. $external_labels{$key} = "$URL/" . q|node59_ct.html|; 
  291. $noresave{$key} = "$nosave";
  292.  
  293. $key = q/marker/;
  294. $external_labels{$key} = "$URL/" . q|node60_ct.html|; 
  295. $noresave{$key} = "$nosave";
  296.  
  297. $key = q/math_names/;
  298. $external_labels{$key} = "$URL/" . q|node61_ct.html|; 
  299. $noresave{$key} = "$nosave";
  300.  
  301. $key = q/math_text/;
  302. $external_labels{$key} = "$URL/" . q|node62_ct.html|; 
  303. $noresave{$key} = "$nosave";
  304.  
  305. $key = q/mathematical_object/;
  306. $external_labels{$key} = "$URL/" . q|node63_ct.html|; 
  307. $noresave{$key} = "$nosave";
  308.  
  309. $key = q/nonprinting_characters/;
  310. $external_labels{$key} = "$URL/" . q|node65_ct.html|; 
  311. $noresave{$key} = "$nosave";
  312.  
  313. $key = q/page_break/;
  314. $external_labels{$key} = "$URL/" . q|node68_ct.html|; 
  315. $noresave{$key} = "$nosave";
  316.  
  317. $key = q/paste/;
  318. $external_labels{$key} = "$URL/" . q|node69_ct.html|; 
  319. $noresave{$key} = "$nosave";
  320.  
  321. $key = q/path_name/;
  322. $external_labels{$key} = "$URL/" . q|node70_ct.html|; 
  323. $noresave{$key} = "$nosave";
  324.  
  325. $key = q/popup_list/;
  326. $external_labels{$key} = "$URL/" . q|node71_ct.html|; 
  327. $noresave{$key} = "$nosave";
  328.  
  329. $key = q/portrait/;
  330. $external_labels{$key} = "$URL/" . q|node72_ct.html|; 
  331. $noresave{$key} = "$nosave";
  332.  
  333. $key = q/scroll_bars/;
  334. $external_labels{$key} = "$URL/" . q|node77_ct.html|; 
  335. $noresave{$key} = "$nosave";
  336.  
  337. $key = q/section_heading/;
  338. $external_labels{$key} = "$URL/" . q|node78_ct.html|; 
  339. $noresave{$key} = "$nosave";
  340.  
  341. $key = q/section_tag/;
  342. $external_labels{$key} = "$URL/" . q|node79_ct.html|; 
  343. $noresave{$key} = "$nosave";
  344.  
  345. $key = q/select/;
  346. $external_labels{$key} = "$URL/" . q|node80_ct.html|; 
  347. $noresave{$key} = "$nosave";
  348.  
  349. $key = q/shell/;
  350. $external_labels{$key} = "$URL/" . q|node81_ct.html|; 
  351. $noresave{$key} = "$nosave";
  352.  
  353. $key = q/size/;
  354. $external_labels{$key} = "$URL/" . q|node82_ct.html|; 
  355. $noresave{$key} = "$nosave";
  356.  
  357. $key = q/tag/;
  358. $external_labels{$key} = "$URL/" . q|node84_ct.html|; 
  359. $noresave{$key} = "$nosave";
  360.  
  361. $key = q/tagged_information/;
  362. $external_labels{$key} = "$URL/" . q|node85_ct.html|; 
  363. $noresave{$key} = "$nosave";
  364.  
  365. $key = q/text_tag/;
  366. $external_labels{$key} = "$URL/" . q|node86_ct.html|; 
  367. $noresave{$key} = "$nosave";
  368.  
  369. 1;
  370.  
  371.  
  372. # LaTeX2HTML 2022 (Released January 1, 2022)
  373. # labels from external_latex_labels array.
  374.  
  375.  
  376. 1;
  377.  
  378.