# 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%:%korenG.html%:%Fp98 Exceptions and Trap handling, linguistic issues' unless ($section_info{$key}); 
$done{"korenG.html"} = 1;
$key = q/0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node1.html%:%Interrupts and standardized semantics for error handling' unless ($section_info{$key}); 
$done{"node1.html"} = 1;
$key = q/0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node2.html%:%Object level' unless ($section_info{$key}); 
$done{"node2.html"} = 1;
$key = q/0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node4.html%:%Presubstitution: a simpler, useful model' unless ($section_info{$key}); 
$done{"node4.html"} = 1;
$key = q/0 0 0 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node3.html%:%The Higher-level language view' unless ($section_info{$key}); 
$done{"node3.html"} = 1;
$key = q/0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node5.html%:% Common Lisp' unless ($section_info{$key}); 
$done{"node5.html"} = 1;
$key = q/0 0 0 3 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node6.html%:%Stages in Common Lisp Error Handling' unless ($section_info{$key}); 
$done{"node6.html"} = 1;
$key = q/0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node11.html%:%  About this document ... ' unless ($section_info{$key}); 
$done{"node11.html"} = 1;
$key = q/0 0 0 3 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '5%:%node7.html%:%function ``envelopes''' unless ($section_info{$key}); 
$done{"node7.html"} = 1;
$key = q/0 0 0 3 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '5%:%node8.html%:%A condition hierarchy' unless ($section_info{$key}); 
$done{"node8.html"} = 1;
$key = q/0 0 0 3 1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '5%:%node9.html%:%Alternatives to simple handling in CL' unless ($section_info{$key}); 
$done{"node9.html"} = 1;
$key = q/0 0 0 3 1 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '5%:%node10.html%:%Implications for other languages' unless ($section_info{$key}); 
$done{"node10.html"} = 1;

1;