# LaTeX2HTML 96.1 (Feb 5, 1996)
# Associate sections original text with physical files.

$key = q/0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '0%:%nuweb.html%:%Nuweb Version 0.91 <BR> A Simple Literate Programming Tool' unless ($section_info{$key}); 
$done{"nuweb.html"} = 1;
$key = q/0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '2%:%node1.html%:%Contents' unless ($section_info{$key}); 
$done{"node1.html"} = 1;
$key = q/0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '2%:%node2.html%:%Introduction' unless ($section_info{$key}); 
$done{"node2.html"} = 1;
$key = q/0 0 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node3.html%:%Nuweb' unless ($section_info{$key}); 
$done{"node3.html"} = 1;
$key = q/0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '2%:%node14.html%:%The Overall Structure' unless ($section_info{$key}); 
$done{"node14.html"} = 1;
$key = q/0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '2%:%node35.html%:%The Support Routines' unless ($section_info{$key}); 
$done{"node35.html"} = 1;
$key = q/0 0 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node4.html%:%Nuweb and HTML' unless ($section_info{$key}); 
$done{"node4.html"} = 1;
$key = q/0 0 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node5.html%:%Writing Nuweb' unless ($section_info{$key}); 
$done{"node5.html"} = 1;
$key = q/0 0 3 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node15.html%:%Files' unless ($section_info{$key}); 
$done{"node15.html"} = 1;
$key = q/0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '2%:%node51.html%:%Man page' unless ($section_info{$key}); 
$done{"node51.html"} = 1;
$key = q/0 0 4 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node36.html%:%Source Files' unless ($section_info{$key}); 
$done{"node36.html"} = 1;
$key = q/0 0 2 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node6.html%:%The Major Commands' unless ($section_info{$key}); 
$done{"node6.html"} = 1;
$key = q/0 0 2 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node10.html%:%Running Nuweb' unless ($section_info{$key}); 
$done{"node10.html"} = 1;
$key = q/0 0 3 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node16.html%:%The Main Files' unless ($section_info{$key}); 
$done{"node16.html"} = 1;
$key = q/0 0 3 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node18.html%:%The Main Routine' unless ($section_info{$key}); 
$done{"node18.html"} = 1;
$key = q/0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '2%:%node52.html%:%Indices' unless ($section_info{$key}); 
$done{"node52.html"} = 1;
$key = q/0 0 4 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node41.html%:%Scraps' unless ($section_info{$key}); 
$done{"node41.html"} = 1;
$key = q/0 0 4 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node37.html%:%Global Declarations' unless ($section_info{$key}); 
$done{"node37.html"} = 1;
$key = q/0 0 2 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '5%:%node7.html%:%Scraps' unless ($section_info{$key}); 
$done{"node7.html"} = 1;
$key = q/0 0 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node9.html%:%The Minor Commands' unless ($section_info{$key}); 
$done{"node9.html"} = 1;
$key = q/0 0 2 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node11.html%:%Generating HTML' unless ($section_info{$key}); 
$done{"node11.html"} = 1;
$key = q/0 0 3 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node17.html%:%Support Files' unless ($section_info{$key}); 
$done{"node17.html"} = 1;
$key = q/0 0 3 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node19.html%:%Command-Line Arguments' unless ($section_info{$key}); 
$done{"node19.html"} = 1;
$key = q/0 0 3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node21.html%:%Pass One' unless ($section_info{$key}); 
$done{"node21.html"} = 1;
$key = q/0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '2%:%node56.html%:%References' unless ($section_info{$key}); 
$done{"node56.html"} = 1;
$key = q/0 0 6 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node53.html%:%Files' unless ($section_info{$key}); 
$done{"node53.html"} = 1;
$key = q/0 0 4 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node43.html%:%Names' unless ($section_info{$key}); 
$done{"node43.html"} = 1;
$key = q/0 0 4 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node42.html%:%Collecting Page Numbers' unless ($section_info{$key}); 
$done{"node42.html"} = 1;
$key = q/0 0 4 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node38.html%:%Local Declarations' unless ($section_info{$key}); 
$done{"node38.html"} = 1;
$key = q/0 0 2 2 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '5%:%node8.html%:%Flags' unless ($section_info{$key}); 
$done{"node8.html"} = 1;
$key = q/0 0 2 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node12.html%:%Restrictions' unless ($section_info{$key}); 
$done{"node12.html"} = 1;
$key = q/0 0 3 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node20.html%:%File Names' unless ($section_info{$key}); 
$done{"node20.html"} = 1;
$key = q/0 0 3 3 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node22.html%:%Accumulating Definitions' unless ($section_info{$key}); 
$done{"node22.html"} = 1;
$key = q/0 0 3 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node24.html%:%Writing the Latex File' unless ($section_info{$key}); 
$done{"node24.html"} = 1;
$key = q/0 0 3 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node29.html%:%Writing the LaTeX File with HTML Scraps' unless ($section_info{$key}); 
$done{"node29.html"} = 1;
$key = q/0 0 3 4 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node25.html%:%Formatting Definitions' unless ($section_info{$key}); 
$done{"node25.html"} = 1;
$key = q/0 0 3 3 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node23.html%:%Fixing the Cross References' unless ($section_info{$key}); 
$done{"node23.html"} = 1;
$key = q/0 0 2 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node13.html%:%Acknowledgements' unless ($section_info{$key}); 
$done{"node13.html"} = 1;
$key = q/0 0 4 1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node39.html%:%Reading a File' unless ($section_info{$key}); 
$done{"node39.html"} = 1;
$key = q/0 0 4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node44.html%:%Searching for Index Entries' unless ($section_info{$key}); 
$done{"node44.html"} = 1;
$key = q/0 0 6 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node54.html%:%Macros' unless ($section_info{$key}); 
$done{"node54.html"} = 1;
$key = q/0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '2%:%node57.html%:%  About this document ... ' unless ($section_info{$key}); 
$done{"node57.html"} = 1;
$key = q/0 0 3 5 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node30.html%:%Formatting Definitions' unless ($section_info{$key}); 
$done{"node30.html"} = 1;
$key = q/0 0 3 4 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node28.html%:%Generating the Indices' unless ($section_info{$key}); 
$done{"node28.html"} = 1;
$key = q/0 0 3 4 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '5%:%node26.html%:%Formatting Cross References' unless ($section_info{$key}); 
$done{"node26.html"} = 1;
$key = q/0 0 3 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node34.html%:%Writing the Output Files' unless ($section_info{$key}); 
$done{"node34.html"} = 1;
$key = q/0 0 4 1 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node40.html%:%Opening a File' unless ($section_info{$key}); 
$done{"node40.html"} = 1;
$key = q/0 0 4 4 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node45.html%:%Building the Automata' unless ($section_info{$key}); 
$done{"node45.html"} = 1;
$key = q/0 0 4 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node48.html%:%Memory Management' unless ($section_info{$key}); 
$done{"node48.html"} = 1;
$key = q/0 0 6 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node55.html%:%Identifiers' unless ($section_info{$key}); 
$done{"node55.html"} = 1;
$key = q/0 0 3 5 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '5%:%node31.html%:%Formatting Cross References' unless ($section_info{$key}); 
$done{"node31.html"} = 1;
$key = q/0 0 3 4 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '5%:%node27.html%:%Formatting a Scrap' unless ($section_info{$key}); 
$done{"node27.html"} = 1;
$key = q/0 0 3 5 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node33.html%:%Generating the Indices' unless ($section_info{$key}); 
$done{"node33.html"} = 1;
$key = q/0 0 4 4 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node46.html%:%Searching the Scraps' unless ($section_info{$key}); 
$done{"node46.html"} = 1;
$key = q/0 0 4 5 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node49.html%:%Allocating Memory' unless ($section_info{$key}); 
$done{"node49.html"} = 1;
$key = q/0 0 3 5 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '5%:%node32.html%:%Formatting a Scrap' unless ($section_info{$key}); 
$done{"node32.html"} = 1;
$key = q/0 0 4 4 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '5%:%node47.html%:%Rejecting Matches' unless ($section_info{$key}); 
$done{"node47.html"} = 1;
$key = q/0 0 4 5 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node50.html%:%Freeing Memory' unless ($section_info{$key}); 
$done{"node50.html"} = 1;

1;