home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
ftp.disi.unige.it
/
2015-02-11.ftp.disi.unige.it.tar
/
ftp.disi.unige.it
/
pub
/
.person
/
PuppoE
/
VARIANT
/
main-work.tex
/
labels.pl
< prev
next >
Wrap
Text File
|
2000-06-26
|
6KB
|
242 lines
# LaTeX2HTML 2022 (Released January 1, 2022)
# Associate labels original text with physical files.
$key = q/Fschema/;
$external_labels{$key} = "$URL/" . q|node4_ct.html|;
$noresave{$key} = "$nosave";
$key = q/cite_BerDob95/;
$external_labels{$key} = "$URL/" . q|node23_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_BerKre97/;
$external_labels{$key} = "$URL/" . q|node23_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_CigPupSco97/;
$external_labels{$key} = "$URL/" . q|node23_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_ColSha89/;
$external_labels{$key} = "$URL/" . q|node23_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_DeFFalPie85/;
$external_labels{$key} = "$URL/" . q|node23_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_DeFMag94/;
$external_labels{$key} = "$URL/" . q|node23_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_DeFMagCOSIT95/;
$external_labels{$key} = "$URL/" . q|node23_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_DeFMagPupIEEE97/;
$external_labels{$key} = "$URL/" . q|node23_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_DeFMagPupIEEE98/;
$external_labels{$key} = "$URL/" . q|node23_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_DobYvi93/;
$external_labels{$key} = "$URL/" . q|node23_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_Dow99/;
$external_labels{$key} = "$URL/" . q|node23_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_FelGri90/;
$external_labels{$key} = "$URL/" . q|node23_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_FlyAway/;
$external_labels{$key} = "$URL/" . q|node23_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_FowLit79/;
$external_labels{$key} = "$URL/" . q|node23_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_Fra94/;
$external_labels{$key} = "$URL/" . q|node23_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_GarHec95/;
$external_labels{$key} = "$URL/" . q|node23_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_GarHec97/;
$external_labels{$key} = "$URL/" . q|node23_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_Hop96/;
$external_labels{$key} = "$URL/" . q|node23_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_Hop98/;
$external_labels{$key} = "$URL/" . q|node23_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_Kre94PATH/;
$external_labels{$key} = "$URL/" . q|node23_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_LanMahSac97/;
$external_labels{$key} = "$URL/" . q|node23_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_Lee89/;
$external_labels{$key} = "$URL/" . q|node23_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_LinAl96/;
$external_labels{$key} = "$URL/" . q|node23_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_Mag99/;
$external_labels{$key} = "$URL/" . q|node23_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_Pup96/;
$external_labels{$key} = "$URL/" . q|node23_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_RenCli84/;
$external_labels{$key} = "$URL/" . q|node23_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_Rip92/;
$external_labels{$key} = "$URL/" . q|node23_mn.html|;
$noresave{$key} = "$nosave";
$key = q/cite_Topovista/;
$external_labels{$key} = "$URL/" . q|node23_mn.html|;
$noresave{$key} = "$nosave";
$key = q/fig:closed/;
$external_labels{$key} = "$URL/" . q|node3_ct.html|;
$noresave{$key} = "$nosave";
$key = q/fig:difris/;
$external_labels{$key} = "$URL/" . q|node14_ct.html|;
$noresave{$key} = "$nosave";
$key = q/fig:iso/;
$external_labels{$key} = "$URL/" . q|node17_ct.html|;
$noresave{$key} = "$nosave";
$key = q/fig:marcy/;
$external_labels{$key} = "$URL/" . q|node8_ct.html|;
$noresave{$key} = "$nosave";
$key = q/fig:mtdef/;
$external_labels{$key} = "$URL/" . q|node3_ct.html|;
$noresave{$key} = "$nosave";
$key = q/fig:nonconse/;
$external_labels{$key} = "$URL/" . q|node17_ct.html|;
$noresave{$key} = "$nosave";
$key = q/fig:pointvis/;
$external_labels{$key} = "$URL/" . q|node19_ct.html|;
$noresave{$key} = "$nosave";
$key = q/fig:ptvis:gra/;
$external_labels{$key} = "$URL/" . q|node19_ct.html|;
$noresave{$key} = "$nosave";
$key = q/fig:segvis/;
$external_labels{$key} = "$URL/" . q|node19_ct.html|;
$noresave{$key} = "$nosave";
$key = q/fig:tin/;
$external_labels{$key} = "$URL/" . q|node3_ct.html|;
$noresave{$key} = "$nosave";
$key = q/fig:trierr/;
$external_labels{$key} = "$URL/" . q|node14_ct.html|;
$noresave{$key} = "$nosave";
$key = q/fig:viewsect/;
$external_labels{$key} = "$URL/" . q|node20_ct.html|;
$noresave{$key} = "$nosave";
$key = q/fig:volare/;
$external_labels{$key} = "$URL/" . q|node16_ct.html|;
$noresave{$key} = "$nosave";
$key = q/sec:arch/;
$external_labels{$key} = "$URL/" . q|node4_ct.html|;
$noresave{$key} = "$nosave";
$key = q/sec:clients/;
$external_labels{$key} = "$URL/" . q|node15_ct.html|;
$noresave{$key} = "$nosave";
$key = q/sec:concl/;
$external_labels{$key} = "$URL/" . q|node22_ct.html|;
$noresave{$key} = "$nosave";
$key = q/sec:extra/;
$external_labels{$key} = "$URL/" . q|node8_ct.html|;
$noresave{$key} = "$nosave";
$key = q/sec:histwrite/;
$external_labels{$key} = "$URL/" . q|node11_ct.html|;
$noresave{$key} = "$nosave";
$key = q/sec:intro/;
$external_labels{$key} = "$URL/" . q|node1_ct.html|;
$noresave{$key} = "$nosave";
$key = q/sec:manager/;
$external_labels{$key} = "$URL/" . q|node5_ct.html|;
$noresave{$key} = "$nosave";
$key = q/sec:mt/;
$external_labels{$key} = "$URL/" . q|node3_ct.html|;
$noresave{$key} = "$nosave";
$key = q/sec:related/;
$external_labels{$key} = "$URL/" . q|node2_ct.html|;
$noresave{$key} = "$nosave";
$key = q/sec:thrfcs/;
$external_labels{$key} = "$URL/" . q|node10_ct.html|;
$noresave{$key} = "$nosave";
$key = q/sec:viewer/;
$external_labels{$key} = "$URL/" . q|node16_ct.html|;
$noresave{$key} = "$nosave";
$key = q/sub:horiz/;
$external_labels{$key} = "$URL/" . q|node21_ct.html|;
$noresave{$key} = "$nosave";
$key = q/sub:isoline/;
$external_labels{$key} = "$URL/" . q|node17_ct.html|;
$noresave{$key} = "$nosave";
$key = q/sub:ptvis/;
$external_labels{$key} = "$URL/" . q|node19_ct.html|;
$noresave{$key} = "$nosave";
$key = q/sub:viewshed/;
$external_labels{$key} = "$URL/" . q|node20_ct.html|;
$noresave{$key} = "$nosave";
1;
# LaTeX2HTML 2022 (Released January 1, 2022)
# labels from external_latex_labels array.
1;