home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / scheme / schmrprt / r4rs.lha / bib.tex / internals.pl < prev    next >
Encoding:
Text File  |  1991-11-08  |  9.5 KB  |  391 lines

  1. # LaTeX2HTML 2022 (Released January 1, 2022)
  2. # Associate internals original text with physical files.
  3.  
  4.  
  5. $key = q/cite_Abelson88/;
  6. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  7. $noresave{$key} = "$nosave";
  8.  
  9. $key = q/cite_Adams88/;
  10. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  11. $noresave{$key} = "$nosave";
  12.  
  13. $key = q/cite_Bartley86/;
  14. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  15. $noresave{$key} = "$nosave";
  16.  
  17. $key = q/cite_Bawden88/;
  18. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  19. $noresave{$key} = "$nosave";
  20.  
  21. $key = q/cite_CLoverview/;
  22. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  23. $noresave{$key} = "$nosave";
  24.  
  25. $key = q/cite_CLtL/;
  26. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  27. $noresave{$key} = "$nosave";
  28.  
  29. $key = q/cite_Clinger84/;
  30. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  31. $noresave{$key} = "$nosave";
  32.  
  33. $key = q/cite_Clinger85/;
  34. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  35. $noresave{$key} = "$nosave";
  36.  
  37. $key = q/cite_Clinger88/;
  38. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  39. $noresave{$key} = "$nosave";
  40.  
  41. $key = q/cite_Clinger88b/;
  42. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  43. $noresave{$key} = "$nosave";
  44.  
  45. $key = q/cite_Curtis90/;
  46. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  47. $noresave{$key} = "$nosave";
  48.  
  49. $key = q/cite_DOALBP/;
  50. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  51. $noresave{$key} = "$nosave";
  52.  
  53. $key = q/cite_Debunking/;
  54. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  55. $noresave{$key} = "$nosave";
  56.  
  57. $key = q/cite_Declarative/;
  58. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  59. $noresave{$key} = "$nosave";
  60.  
  61. $key = q/cite_Dream/;
  62. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  63. $noresave{$key} = "$nosave";
  64.  
  65. $key = q/cite_Dybvig86/;
  66. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  67. $noresave{$key} = "$nosave";
  68.  
  69. $key = q/cite_Dybvig87/;
  70. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  71. $noresave{$key} = "$nosave";
  72.  
  73. $key = q/cite_Dybvig88/;
  74. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  75. $noresave{$key} = "$nosave";
  76.  
  77. $key = q/cite_Eisenberg85/;
  78. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  79. $noresave{$key} = "$nosave";
  80.  
  81. $key = q/cite_Eisenberg88/;
  82. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  83. $noresave{$key} = "$nosave";
  84.  
  85. $key = q/cite_Eisenberg90/;
  86. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  87. $noresave{$key} = "$nosave";
  88.  
  89. $key = q/cite_Engines/;
  90. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  91. $noresave{$key} = "$nosave";
  92.  
  93. $key = q/cite_Feeley86/;
  94. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  95. $noresave{$key} = "$nosave";
  96.  
  97. $key = q/cite_Feeley87/;
  98. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  99. $noresave{$key} = "$nosave";
  100.  
  101. $key = q/cite_Feeley90/;
  102. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  103. $noresave{$key} = "$nosave";
  104.  
  105. $key = q/cite_Felleisen86/;
  106. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  107. $noresave{$key} = "$nosave";
  108.  
  109. $key = q/cite_Felleisen86b/;
  110. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  111. $noresave{$key} = "$nosave";
  112.  
  113. $key = q/cite_Felleisen86c/;
  114. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  115. $noresave{$key} = "$nosave";
  116.  
  117. $key = q/cite_Felleisen87/;
  118. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  119. $noresave{$key} = "$nosave";
  120.  
  121. $key = q/cite_Felleisen87b/;
  122. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  123. $noresave{$key} = "$nosave";
  124.  
  125. $key = q/cite_Felleisen87c/;
  126. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  127. $noresave{$key} = "$nosave";
  128.  
  129. $key = q/cite_Felleisen87d/;
  130. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  131. $noresave{$key} = "$nosave";
  132.  
  133. $key = q/cite_Felleisen88/;
  134. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  135. $noresave{$key} = "$nosave";
  136.  
  137. $key = q/cite_Franco90/;
  138. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  139. $noresave{$key} = "$nosave";
  140.  
  141. $key = q/cite_Friedman84/;
  142. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  143. $noresave{$key} = "$nosave";
  144.  
  145. $key = q/cite_Friedman84b/;
  146. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  147. $noresave{$key} = "$nosave";
  148.  
  149. $key = q/cite_Friedman85/;
  150. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  151. $noresave{$key} = "$nosave";
  152.  
  153. $key = q/cite_Haynes86/;
  154. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  155. $noresave{$key} = "$nosave";
  156.  
  157. $key = q/cite_Haynes87a/;
  158. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  159. $noresave{$key} = "$nosave";
  160.  
  161. $key = q/cite_Haynes87b/;
  162. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  163. $noresave{$key} = "$nosave";
  164.  
  165. $key = q/cite_Henderson82/;
  166. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  167. $noresave{$key} = "$nosave";
  168.  
  169. $key = q/cite_IEEE/;
  170. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  171. $noresave{$key} = "$nosave";
  172.  
  173. $key = q/cite_IEEEScheme/;
  174. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  175. $noresave{$key} = "$nosave";
  176.  
  177. $key = q/cite_Imperative/;
  178. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  179. $noresave{$key} = "$nosave";
  180.  
  181. $key = q/cite_Kohlbecker86/;
  182. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  183. $noresave{$key} = "$nosave";
  184.  
  185. $key = q/cite_Kranz86/;
  186. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  187. $noresave{$key} = "$nosave";
  188.  
  189. $key = q/cite_Kranz88/;
  190. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  191. $noresave{$key} = "$nosave";
  192.  
  193. $key = q/cite_Landin65/;
  194. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  195. $noresave{$key} = "$nosave";
  196.  
  197. $key = q/cite_Lisper/;
  198. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  199. $noresave{$key} = "$nosave";
  200.  
  201. $key = q/cite_MITScheme/;
  202. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  203. $noresave{$key} = "$nosave";
  204.  
  205. $key = q/cite_Macaroni/;
  206. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  207. $noresave{$key} = "$nosave";
  208.  
  209. $key = q/cite_McDermott80/;
  210. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  211. $noresave{$key} = "$nosave";
  212.  
  213. $key = q/cite_Muchnick80/;
  214. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  215. $noresave{$key} = "$nosave";
  216.  
  217. $key = q/cite_Naur63/;
  218. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  219. $noresave{$key} = "$nosave";
  220.  
  221. $key = q/cite_Penfield81/;
  222. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  223. $noresave{$key} = "$nosave";
  224.  
  225. $key = q/cite_Pitman80/;
  226. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  227. $noresave{$key} = "$nosave";
  228.  
  229. $key = q/cite_Pitman83/;
  230. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  231. $noresave{$key} = "$nosave";
  232.  
  233. $key = q/cite_Pitman85/;
  234. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  235. $noresave{$key} = "$nosave";
  236.  
  237. $key = q/cite_Plebanthesis/;
  238. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  239. $noresave{$key} = "$nosave";
  240.  
  241. $key = q/cite_R3RS/;
  242. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  243. $noresave{$key} = "$nosave";
  244.  
  245. $key = q/cite_RRRS/;
  246. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  247. $noresave{$key} = "$nosave";
  248.  
  249. $key = q/cite_Rabbit/;
  250. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  251. $noresave{$key} = "$nosave";
  252.  
  253. $key = q/cite_Rees82/;
  254. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  255. $noresave{$key} = "$nosave";
  256.  
  257. $key = q/cite_Rees84/;
  258. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  259. $noresave{$key} = "$nosave";
  260.  
  261. $key = q/cite_Rees89/;
  262. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  263. $noresave{$key} = "$nosave";
  264.  
  265. $key = q/cite_Reynolds72/;
  266. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  267. $noresave{$key} = "$nosave";
  268.  
  269. $key = q/cite_Rozas84/;
  270. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  271. $noresave{$key} = "$nosave";
  272.  
  273. $key = q/cite_SICP/;
  274. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  275. $noresave{$key} = "$nosave";
  276.  
  277. $key = q/cite_Scheme311/;
  278. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  279. $noresave{$key} = "$nosave";
  280.  
  281. $key = q/cite_Scheme75/;
  282. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  283. $noresave{$key} = "$nosave";
  284.  
  285. $key = q/cite_Scheme78/;
  286. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  287. $noresave{$key} = "$nosave";
  288.  
  289. $key = q/cite_Scheme79/;
  290. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  291. $noresave{$key} = "$nosave";
  292.  
  293. $key = q/cite_Scheme81/;
  294. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  295. $noresave{$key} = "$nosave";
  296.  
  297. $key = q/cite_Scheme84/;
  298. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  299. $noresave{$key} = "$nosave";
  300.  
  301. $key = q/cite_Sitaram90/;
  302. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  303. $noresave{$key} = "$nosave";
  304.  
  305. $key = q/cite_Smith84/;
  306. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  307. $noresave{$key} = "$nosave";
  308.  
  309. $key = q/cite_Springer89/;
  310. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  311. $noresave{$key} = "$nosave";
  312.  
  313. $key = q/cite_Srivastava85/;
  314. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  315. $noresave{$key} = "$nosave";
  316.  
  317. $key = q/cite_Stallman80/;
  318. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  319. $noresave{$key} = "$nosave";
  320.  
  321. $key = q/cite_Stoy77/;
  322. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  323. $noresave{$key} = "$nosave";
  324.  
  325. $key = q/cite_Sussman82/;
  326. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  327. $noresave{$key} = "$nosave";
  328.  
  329. $key = q/cite_TAOTI/;
  330. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  331. $noresave{$key} = "$nosave";
  332.  
  333. $key = q/cite_TI85/;
  334. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  335. $noresave{$key} = "$nosave";
  336.  
  337. $key = q/cite_Vegdahl89/;
  338. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  339. $noresave{$key} = "$nosave";
  340.  
  341. $key = q/cite_Wand78/;
  342. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  343. $noresave{$key} = "$nosave";
  344.  
  345. $key = q/cite_Wand80/;
  346. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  347. $noresave{$key} = "$nosave";
  348.  
  349. $key = q/cite_Wand86/;
  350. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  351. $noresave{$key} = "$nosave";
  352.  
  353. $key = q/cite_Wand88/;
  354. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  355. $noresave{$key} = "$nosave";
  356.  
  357. $key = q/cite_howtoprint/;
  358. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  359. $noresave{$key} = "$nosave";
  360.  
  361. $key = q/cite_howtoread/;
  362. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  363. $noresave{$key} = "$nosave";
  364.  
  365. $key = q/cite_hygienic/;
  366. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  367. $noresave{$key} = "$nosave";
  368.  
  369. $key = q/cite_littlelisper/;
  370. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  371. $noresave{$key} = "$nosave";
  372.  
  373. $key = q/cite_macrosthatwork/;
  374. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  375. $noresave{$key} = "$nosave";
  376.  
  377. $key = q/cite_renamegoto/;
  378. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  379. $noresave{$key} = "$nosave";
  380.  
  381. $key = q/cite_schflow/;
  382. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  383. $noresave{$key} = "$nosave";
  384.  
  385. $key = q/cite_tower/;
  386. $ref_files{$key} = "$dir".q|node1_mn.html|; 
  387. $noresave{$key} = "$nosave";
  388.  
  389. 1;
  390.  
  391.