home *** CD-ROM | disk | FTP | other *** search
- # LaTeX2HTML 2022 (Released January 1, 2022)
- # Associate internals original text with physical files.
-
-
- $key = q/cite_Abelson88/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Adams88/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Bartley86/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Bawden88/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_CLoverview/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_CLtL/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Clinger84/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Clinger85/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Clinger88/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Clinger88b/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Curtis90/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_DOALBP/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Debunking/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Declarative/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Dream/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Dybvig86/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Dybvig87/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Dybvig88/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Eisenberg85/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Eisenberg88/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Eisenberg90/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Engines/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Feeley86/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Feeley87/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Feeley90/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Felleisen86/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Felleisen86b/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Felleisen86c/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Felleisen87/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Felleisen87b/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Felleisen87c/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Felleisen87d/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Felleisen88/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Franco90/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Friedman84/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Friedman84b/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Friedman85/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Haynes86/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Haynes87a/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Haynes87b/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Henderson82/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_IEEE/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_IEEEScheme/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Imperative/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Kohlbecker86/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Kranz86/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Kranz88/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Landin65/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Lisper/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_MITScheme/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Macaroni/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_McDermott80/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Muchnick80/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Naur63/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Penfield81/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Pitman80/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Pitman83/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Pitman85/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Plebanthesis/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_R3RS/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_RRRS/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Rabbit/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Rees82/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Rees84/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Rees89/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Reynolds72/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Rozas84/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_SICP/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Scheme311/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Scheme75/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Scheme78/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Scheme79/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Scheme81/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Scheme84/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Sitaram90/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Smith84/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Springer89/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Srivastava85/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Stallman80/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Stoy77/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Sussman82/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_TAOTI/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_TI85/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Vegdahl89/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Wand78/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Wand80/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Wand86/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_Wand88/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_howtoprint/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_howtoread/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_hygienic/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_littlelisper/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_macrosthatwork/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_renamegoto/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_schflow/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite_tower/;
- $ref_files{$key} = "$dir".q|node1_mn.html|;
- $noresave{$key} = "$nosave";
-
- 1;
-
-