ftp.disi.unige.it/2015-02-11.ftp.disi.unige.it.tar/ftp.disi.unige.it/pub/.person/MoraF/MaRe4.tex/labels.pl

Text File | 2004-03-03 | 3KB | 138 lines

# LaTeX2HTML 2022 (Released January 1, 2022)
# Associate labels original text with physical files.


$key = q/ABUC/;
$external_labels{$key} = "$URL/" . q|node6_ct.html|;
$noresave{$key} = "$nosave";

$key = q/CMA/;
$external_labels{$key} = "$URL/" . q|node2_ct.html|;
$noresave{$key} = "$nosave";

$key = q/E1/;
$external_labels{$key} = "$URL/" . q|node6_ct.html|;
$noresave{$key} = "$nosave";

$key = q/E2/;
$external_labels{$key} = "$URL/" . q|node6_ct.html|;
$noresave{$key} = "$nosave";

$key = q/Etse/;
$external_labels{$key} = "$URL/" . q|node3_ct.html|;
$noresave{$key} = "$nosave";

$key = q/IDDU/;
$external_labels{$key} = "$URL/" . q|node2_ct.html|;
$noresave{$key} = "$nosave";

$key = q/LeibLeib/;
$external_labels{$key} = "$URL/" . q|node3_ct.html|;
$noresave{$key} = "$nosave";

$key = q/RFRee/;
$external_labels{$key} = "$URL/" . q|node5_ct.html|;
$noresave{$key} = "$nosave";

$key = q/cite_AMM/;
$external_labels{$key} = "$URL/" . q|node7_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_B1/;
$external_labels{$key} = "$URL/" . q|node7_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_B2/;
$external_labels{$key} = "$URL/" . q|node7_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_BL/;
$external_labels{$key} = "$URL/" . q|node7_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_BM/;
$external_labels{$key} = "$URL/" . q|node7_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_CM1/;
$external_labels{$key} = "$URL/" . q|node7_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_CM2/;
$external_labels{$key} = "$URL/" . q|node7_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_Cuba/;
$external_labels{$key} = "$URL/" . q|node7_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_FGLM/;
$external_labels{$key} = "$URL/" . q|node7_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_G/;
$external_labels{$key} = "$URL/" . q|node7_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_Gr/;
$external_labels{$key} = "$URL/" . q|node7_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_Iran/;
$external_labels{$key} = "$URL/" . q|node7_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_K/;
$external_labels{$key} = "$URL/" . q|node7_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_L/;
$external_labels{$key} = "$URL/" . q|node7_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_M/;
$external_labels{$key} = "$URL/" . q|node7_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_M_SUP_3__SUP_/;
$external_labels{$key} = "$URL/" . q|node7_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_M_SUP_3__SUP__SUB_2__SUB_/;
$external_labels{$key} = "$URL/" . q|node7_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_Mac1/;
$external_labels{$key} = "$URL/" . q|node7_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_Mac2/;
$external_labels{$key} = "$URL/" . q|node7_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_N/;
$external_labels{$key} = "$URL/" . q|node7_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_SM/;
$external_labels{$key} = "$URL/" . q|node7_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_SPES/;
$external_labels{$key} = "$URL/" . q|node7_mn.html|;
$noresave{$key} = "$nosave";

$key = q/sect/;
$external_labels{$key} = "$URL/" . q|node4_ct.html|;
$noresave{$key} = "$nosave";

1;


# LaTeX2HTML 2022 (Released January 1, 2022)
# labels from external_latex_labels array.


1;