# LaTeX2HTML 2K.1beta (1.57)
# Associate labels original text with physical files.
$key = q/cite_bib:Takeuchi1998/;
$external_labels{$key} = "$URL/" . q|manued-e.html|;
$noresave{$key} = "$nosave";
$key = q/sec:manueddefcommand/;
$external_labels{$key} = "$URL/" . q|manued-e.html|;
$noresave{$key} = "$nosave";
$key = q/item:deforder/;
$external_labels{$key} = "$URL/" . q|manued-e.html|;
$noresave{$key} = "$nosave";
$key = q/sec:harmDefaultLRParenthes/;
$external_labels{$key} = "$URL/" . q|manued-e.html|;
$noresave{$key} = "$nosave";
$key = q/sec:PrettyPrintCustomize/;
$external_labels{$key} = "$URL/" . q|manued-e.html|;
$noresave{$key} = "$nosave";
$key = q/sec:harmDefcommand/;
$external_labels{$key} = "$URL/" . q|manued-e.html|;
$noresave{$key} = "$nosave";
$key = q/cite_bib:Aoyagi1997/;
$external_labels{$key} = "$URL/" . q|manued-e.html|;
$noresave{$key} = "$nosave";
$key = q/cite_bib:Hirose1999/;
$external_labels{$key} = "$URL/" . q|manued-e.html|;
$noresave{$key} = "$nosave";
$key = q/cite_bib:elispinfo/;
$external_labels{$key} = "$URL/" . q|manued-e.html|;
$noresave{$key} = "$nosave";
$key = q/cite_bib:Takeuchi1986/;
$external_labels{$key} = "$URL/" . q|manued-e.html|;
$noresave{$key} = "$nosave";
$key = q/sec:ImmediateShownewerTex/;
$external_labels{$key} = "$URL/" . q|manued-e.html|;
$noresave{$key} = "$nosave";
1;
# LaTeX2HTML 2K.1beta (1.57)
# labels from external_latex_labels array.
$key = q/sec:harmDefcommand/;
$external_latex_labels{$key} = q|6.1|;
$noresave{$key} = "$nosave";
$key = q/sec:manueddefcommand/;
$external_latex_labels{$key} = q|4.2|;
$noresave{$key} = "$nosave";
$key = q/item:deforder/;
$external_latex_labels{$key} = q|4.2|;
$noresave{$key} = "$nosave";
$key = q/sec:PrettyPrintCustomize/;
$external_latex_labels{$key} = q|5.6.4|;
$noresave{$key} = "$nosave";
$key = q/sec:harmDefaultLRParenthes/;
$external_latex_labels{$key} = q|6.1.1|;
$noresave{$key} = "$nosave";
$key = q/sec:ImmediateShownewerTex/;
$external_latex_labels{$key} = q|6|;
$noresave{$key} = "$nosave";
1;