ftp.disi.unige.it/2015-02-11.ftp.disi.unige.it.tar/ftp.disi.unige.it/pub/.person/PuppoE/VARIANT/variant.tex/internals.pl

Text File | 2000-07-02 | 6KB | 235 lines

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


$key = q/Fschema/;
$ref_files{$key} = "$dir".q|node4_ct.html|;
$noresave{$key} = "$nosave";

$key = q/cite_BerDob95/;
$ref_files{$key} = "$dir".q|node23_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_BerKre97/;
$ref_files{$key} = "$dir".q|node23_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_CigPupSco97/;
$ref_files{$key} = "$dir".q|node23_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_ColSha89/;
$ref_files{$key} = "$dir".q|node23_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_DeFFalPie85/;
$ref_files{$key} = "$dir".q|node23_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_DeFMag94/;
$ref_files{$key} = "$dir".q|node23_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_DeFMagCOSIT95/;
$ref_files{$key} = "$dir".q|node23_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_DeFMagPupIEEE97/;
$ref_files{$key} = "$dir".q|node23_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_DeFMagPupIEEE98/;
$ref_files{$key} = "$dir".q|node23_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_DobYvi93/;
$ref_files{$key} = "$dir".q|node23_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_Dow99/;
$ref_files{$key} = "$dir".q|node23_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_FelGri90/;
$ref_files{$key} = "$dir".q|node23_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_FlyAway/;
$ref_files{$key} = "$dir".q|node23_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_FowLit79/;
$ref_files{$key} = "$dir".q|node23_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_Fra94/;
$ref_files{$key} = "$dir".q|node23_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_GarHec95/;
$ref_files{$key} = "$dir".q|node23_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_GarHec97/;
$ref_files{$key} = "$dir".q|node23_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_Hop96/;
$ref_files{$key} = "$dir".q|node23_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_Hop98/;
$ref_files{$key} = "$dir".q|node23_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_Kre94PATH/;
$ref_files{$key} = "$dir".q|node23_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_LanMahSac97/;
$ref_files{$key} = "$dir".q|node23_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_Lee89/;
$ref_files{$key} = "$dir".q|node23_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_LinAl96/;
$ref_files{$key} = "$dir".q|node23_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_Mag99/;
$ref_files{$key} = "$dir".q|node23_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_Pup96/;
$ref_files{$key} = "$dir".q|node23_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_RenCli84/;
$ref_files{$key} = "$dir".q|node23_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_Rip92/;
$ref_files{$key} = "$dir".q|node23_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_Topovista/;
$ref_files{$key} = "$dir".q|node23_mn.html|;
$noresave{$key} = "$nosave";

$key = q/fig:closed/;
$ref_files{$key} = "$dir".q|node3_ct.html|;
$noresave{$key} = "$nosave";

$key = q/fig:difris/;
$ref_files{$key} = "$dir".q|node14_ct.html|;
$noresave{$key} = "$nosave";

$key = q/fig:iso/;
$ref_files{$key} = "$dir".q|node17_ct.html|;
$noresave{$key} = "$nosave";

$key = q/fig:marcy/;
$ref_files{$key} = "$dir".q|node8_ct.html|;
$noresave{$key} = "$nosave";

$key = q/fig:mtdef/;
$ref_files{$key} = "$dir".q|node3_ct.html|;
$noresave{$key} = "$nosave";

$key = q/fig:nonconse/;
$ref_files{$key} = "$dir".q|node17_ct.html|;
$noresave{$key} = "$nosave";

$key = q/fig:pointvis/;
$ref_files{$key} = "$dir".q|node19_ct.html|;
$noresave{$key} = "$nosave";

$key = q/fig:ptvis:gra/;
$ref_files{$key} = "$dir".q|node19_ct.html|;
$noresave{$key} = "$nosave";

$key = q/fig:segvis/;
$ref_files{$key} = "$dir".q|node19_ct.html|;
$noresave{$key} = "$nosave";

$key = q/fig:tin/;
$ref_files{$key} = "$dir".q|node3_ct.html|;
$noresave{$key} = "$nosave";

$key = q/fig:trierr/;
$ref_files{$key} = "$dir".q|node14_ct.html|;
$noresave{$key} = "$nosave";

$key = q/fig:viewsect/;
$ref_files{$key} = "$dir".q|node20_ct.html|;
$noresave{$key} = "$nosave";

$key = q/fig:volare/;
$ref_files{$key} = "$dir".q|node16_ct.html|;
$noresave{$key} = "$nosave";

$key = q/sec:arch/;
$ref_files{$key} = "$dir".q|node4_ct.html|;
$noresave{$key} = "$nosave";

$key = q/sec:clients/;
$ref_files{$key} = "$dir".q|node15_ct.html|;
$noresave{$key} = "$nosave";

$key = q/sec:concl/;
$ref_files{$key} = "$dir".q|node22_ct.html|;
$noresave{$key} = "$nosave";

$key = q/sec:extra/;
$ref_files{$key} = "$dir".q|node8_ct.html|;
$noresave{$key} = "$nosave";

$key = q/sec:histwrite/;
$ref_files{$key} = "$dir".q|node11_ct.html|;
$noresave{$key} = "$nosave";

$key = q/sec:intro/;
$ref_files{$key} = "$dir".q|node1_ct.html|;
$noresave{$key} = "$nosave";

$key = q/sec:manager/;
$ref_files{$key} = "$dir".q|node5_ct.html|;
$noresave{$key} = "$nosave";

$key = q/sec:mt/;
$ref_files{$key} = "$dir".q|node3_ct.html|;
$noresave{$key} = "$nosave";

$key = q/sec:related/;
$ref_files{$key} = "$dir".q|node2_ct.html|;
$noresave{$key} = "$nosave";

$key = q/sec:thrfcs/;
$ref_files{$key} = "$dir".q|node10_ct.html|;
$noresave{$key} = "$nosave";

$key = q/sec:viewer/;
$ref_files{$key} = "$dir".q|node16_ct.html|;
$noresave{$key} = "$nosave";

$key = q/sub:horiz/;
$ref_files{$key} = "$dir".q|node21_ct.html|;
$noresave{$key} = "$nosave";

$key = q/sub:isoline/;
$ref_files{$key} = "$dir".q|node17_ct.html|;
$noresave{$key} = "$nosave";

$key = q/sub:ptvis/;
$ref_files{$key} = "$dir".q|node19_ct.html|;
$noresave{$key} = "$nosave";

$key = q/sub:viewshed/;
$ref_files{$key} = "$dir".q|node20_ct.html|;
$noresave{$key} = "$nosave";

1;