# LaTeX2HTML 95.1 (Fri Jan 20 1995) # Associate symbolic labels with physical files. $external_labels{"flight_ddf_design"} ="$URL/vanstoned.html"; $external_labels{"ddf_design"} ="$URL/vanstoned.html"; $external_labels{"SCI_DM"} ="$URL/vanstoned.html"; 1;