# LaTeX2HTML 96.1 (Feb 5, 1996)
# Associate contents 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/;
$toc_section_info{$key} = '0%:%user.html%:% <B>Rigi User's Manual</B> <BR> Version 5.4.1 <BR> <P CENTER> </P>' unless ($toc_section_info{$key}); 
$key = q/0 0 5 14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '3%:%node121.html%:%Using Filters' unless ($toc_section_info{$key}); 
$key = q/0 0 5 10 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node90.html%:%Editing the source text for a node' unless ($toc_section_info{$key}); 
$key = q/0 0 5 14 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node127.html%:%Showing and hiding arcs by type' unless ($toc_section_info{$key}); 
$key = q/0 0 5 11 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node95.html%:%Changing current arc type' unless ($toc_section_info{$key}); 
$key = q/0 0 5 15 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node130.html%:%Fitting nodes within a window' unless ($toc_section_info{$key}); 
$key = q/0 0 5 19 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '3%:%node161.html%:%Using the Toolbar' unless ($toc_section_info{$key}); 
$key = q/0 0 5 20 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node165.html%:%Revealing the children of a node' unless ($toc_section_info{$key}); 
$key = q/0 0 5 20 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node171.html%:%Adjusting the step size' unless ($toc_section_info{$key}); 
$key = q/0 0 6 4 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node184.html%:%Navigate menu' unless ($toc_section_info{$key}); 
$key = q/0 0 5 3 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node35.html%:%Overriding the configuration file' unless ($toc_section_info{$key}); 
$key = q/0 0 5 5 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node45.html%:%Retrieving previously entered commands' unless ($toc_section_info{$key}); 
$key = q/0 0 5 6 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node49.html%:%Exiting' unless ($toc_section_info{$key}); 
$key = q/0 0 5 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '3%:%node51.html%:%Working with Graphs' unless ($toc_section_info{$key}); 
$key = q/0 0 4 1 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node19.html%:%Identifying subsystems' unless ($toc_section_info{$key}); 
$key = q/0 0 5 8 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node64.html%:%Closing all windows' unless ($toc_section_info{$key}); 
$key = q/0 0 5 9 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node73.html%:%Deselecting a node' unless ($toc_section_info{$key}); 
$key = q/0 0 5 12 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node104.html%:%Presenting the neighbors of nodes' unless ($toc_section_info{$key}); 
$key = q/0 0 5 16 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node138.html%:%Moving several selected nodes' unless ($toc_section_info{$key}); 
$key = q/0 0 5 16 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node149.html%:%Moving nodes with constraints' unless ($toc_section_info{$key}); 
$key = q/0 0 5 16 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node144.html%:%Arranging reachable nodes along incoming arcs into a tree' unless ($toc_section_info{$key}); 
$key = q/0 0 6 4 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node192.html%:%Options menu' unless ($toc_section_info{$key}); 
$key = q/0 0 5 9 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node78.html%:%Selecting nodes by type' unless ($toc_section_info{$key}); 
$key = q/0 0 5 13 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node113.html%:%Deleting an arc' unless ($toc_section_info{$key}); 
$key = q/0 0 5 17 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node153.html%:%Viewing node neighborhood and dependency information' unless ($toc_section_info{$key}); 
$key = q/0 0 5 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '3%:%node83.html%:%Working with Nodes' unless ($toc_section_info{$key}); 
$key = q/0 0 5 10 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node89.html%:%Editing annotation for a node' unless ($toc_section_info{$key}); 
$key = q/0 0 5 14 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node126.html%:%Showing and hiding nodes by type' unless ($toc_section_info{$key}); 
$key = q/0 0 6 4 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node182.html%:%File menu' unless ($toc_section_info{$key}); 
$key = q/0 0 5 3 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node33.html%:%Creating a new configuration file' unless ($toc_section_info{$key}); 
$key = q/0 0 5 4 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node41.html%:%Domain files' unless ($toc_section_info{$key}); 
$key = q/0 0 5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '3%:%node43.html%:%Running Scripts' unless ($toc_section_info{$key}); 
$key = q/0 0 4 1 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node17.html%:%Making selections' unless ($toc_section_info{$key}); 
$key = q/0 0 5 8 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node62.html%:%Updating a window' unless ($toc_section_info{$key}); 
$key = q/0 0 5 9 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node71.html%:%Selecting all nodes' unless ($toc_section_info{$key}); 
$key = q/0 0 5 11 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node94.html%:%Arc types' unless ($toc_section_info{$key}); 
$key = q/0 0 5 15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '3%:%node129.html%:%Scaling the Focus' unless ($toc_section_info{$key}); 
$key = q/0 0 5 11 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node100.html%:%Changing arc type colors' unless ($toc_section_info{$key}); 
$key = q/0 0 5 20 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node164.html%:%Presenting a SHriMP window' unless ($toc_section_info{$key}); 
$key = q/0 0 5 20 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node173.html%:%Layout constraints' unless ($toc_section_info{$key}); 
$key = q/0 0 5 15 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node135.html%:%Automatic scaling' unless ($toc_section_info{$key}); 
$key = q/0 0 5 20 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node170.html%:%Seeing the node name' unless ($toc_section_info{$key}); 
$key = q/0 0 5 13 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node119.html%:%Showing the clipboard' unless ($toc_section_info{$key}); 
$key = q/0 0 5 12 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node103.html%:%Presenting the parents of nodes' unless ($toc_section_info{$key}); 
$key = q/0 0 5 16 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node137.html%:%Moving a node' unless ($toc_section_info{$key}); 
$key = q/0 0 5 16 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node143.html%:%Arranging reachable nodes along outgoing arcs into a tree' unless ($toc_section_info{$key}); 
$key = q/0 0 6 4 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node191.html%:%Demo menu' unless ($toc_section_info{$key}); 
$key = q/0 0 5 9 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node77.html%:%Selecting nodes by structure' unless ($toc_section_info{$key}); 
$key = q/0 0 6 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '3%:%node180.html%:%Keyboard Shortcuts' unless ($toc_section_info{$key}); 
$key = q/0 0 5 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '3%:%node31.html%:%Configuring the Editor' unless ($toc_section_info{$key}); 
$key = q/0 0 5 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node29.html%:%Using the Node menu' unless ($toc_section_info{$key}); 
$key = q/0 0 5 13 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node112.html%:%Deleting nodes' unless ($toc_section_info{$key}); 
$key = q/0 0 6 4 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node189.html%:%Report menu' unless ($toc_section_info{$key}); 
$key = q/0 0 4 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node15.html%:%Traversing the subsystem hierarchy' unless ($toc_section_info{$key}); 
$key = q/0 0 5 8 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node60.html%:%Stacking (cascading) the windows' unless ($toc_section_info{$key}); 
$key = q/0 0 5 9 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node69.html%:%Selecting grouped nodes by dragging' unless ($toc_section_info{$key}); 
$key = q/0 0 5 17 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node152.html%:%Reporting cyclomatic complexity' unless ($toc_section_info{$key}); 
$key = q/0 0 3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '3%:%node10.html%:%Ray Demo' unless ($toc_section_info{$key}); 
$key = q/0 0 5 13 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node118.html%:%Pasting a subgraph' unless ($toc_section_info{$key}); 
$key = q/0 0 2 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '3%:%node5.html%:%System Requirements' unless ($toc_section_info{$key}); 
$key = q/0 0 5 10 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node88.html%:%Editing attributes of a node' unless ($toc_section_info{$key}); 
$key = q/0 0 4 1 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node25.html%:%Finishing Up' unless ($toc_section_info{$key}); 
$key = q/0 0 5 14 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node125.html%:%Showing previously hidden nodes' unless ($toc_section_info{$key}); 
$key = q/0 0 5 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '3%:%node93.html%:%Working with Arcs' unless ($toc_section_info{$key}); 
$key = q/0 0 5 11 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node99.html%:%Opening a URL for an arc' unless ($toc_section_info{$key}); 
$key = q/0 0 5 20 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '3%:%node163.html%:%Using SHriMP Windows' unless ($toc_section_info{$key}); 
$key = q/0 0 5 15 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node134.html%:%Restoring the focus' unless ($toc_section_info{$key}); 
$key = q/0 0 5 20 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node169.html%:%Reducing the size of a node' unless ($toc_section_info{$key}); 
$key = q/0 0 6 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '3%:%node178.html%:%Directory Structure' unless ($toc_section_info{$key}); 
$key = q/0 0 5 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '3%:%node27.html%:%Running the Editor' unless ($toc_section_info{$key}); 
$key = q/0 0 6 4 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node187.html%:%Scale menu' unless ($toc_section_info{$key}); 
$key = q/0 0 4 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '3%:%node13.html%:%Using the Editor' unless ($toc_section_info{$key}); 
$key = q/0 0 5 3 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node38.html%:%Defining fonts' unless ($toc_section_info{$key}); 
$key = q/0 0 5 7 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node54.html%:%Loading a graph' unless ($toc_section_info{$key}); 
$key = q/0 0 5 8 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node58.html%:%Activating a window' unless ($toc_section_info{$key}); 
$key = q/0 0 5 9 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node67.html%:%Selecting a node' unless ($toc_section_info{$key}); 
$key = q/0 0 5 12 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node102.html%:%Presenting the children of nodes' unless ($toc_section_info{$key}); 
$key = q/0 0 5 16 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node146.html%:%Arranging all nodes in a spring layout' unless ($toc_section_info{$key}); 
$key = q/0 0 4 1 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node22.html%:%Graph quality' unless ($toc_section_info{$key}); 
$key = q/0 0 3 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '3%:%node7.html%:%Using the Editor' unless ($toc_section_info{$key}); 
$key = q/0 0 5 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '3%:%node136.html%:%Making Arrangements' unless ($toc_section_info{$key}); 
$key = q/0 0 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '3%:%node3.html%:%What is Rigi?' unless ($toc_section_info{$key}); 
$key = q/0 0 5 12 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node108.html%:%Presenting a fisheye view' unless ($toc_section_info{$key}); 
$key = q/0 0 5 16 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node142.html%:%Arranging all nodes into a grid' unless ($toc_section_info{$key}); 
$key = q/0 0 5 9 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node76.html%:%Selecting nodes by attribute' unless ($toc_section_info{$key}); 
$key = q/0 0 5 20 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node174.html%:%Presenting a Children window' unless ($toc_section_info{$key}); 
$key = q/0 0 5 9 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node82.html%:%Selecting reachable nodes along incoming arcs' unless ($toc_section_info{$key}); 
$key = q/0 0 5 13 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node111.html%:%Creating a new arc' unless ($toc_section_info{$key}); 
$key = q/0 0 5 17 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node151.html%:%Reporting numbers of nodes and arcs' unless ($toc_section_info{$key}); 
$key = q/0 0 5 13 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node117.html%:%Copying a subgraph' unless ($toc_section_info{$key}); 
$key = q/0 0 5 13 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node120.html%:%Clearing the clipboard' unless ($toc_section_info{$key}); 
$key = q/0 0 5 17 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node157.html%:%Reporting graph quality' unless ($toc_section_info{$key}); 
$key = q/0 0 5 10 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node87.html%:%Changing the type of a node' unless ($toc_section_info{$key}); 
$key = q/0 0 4 1 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node24.html%:%Scripting' unless ($toc_section_info{$key}); 
$key = q/0 0 5 14 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node124.html%:%Hiding selected nodes' unless ($toc_section_info{$key}); 
$key = q/0 0 6 4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node185.html%:%Select menu' unless ($toc_section_info{$key}); 
$key = q/0 0 5 18 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node160.html%:%Loading a view' unless ($toc_section_info{$key}); 
$key = q/0 0 5 3 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node36.html%:%Defining the default text editor' unless ($toc_section_info{$key}); 
$key = q/0 0 5 5 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node46.html%:%Listing available commands' unless ($toc_section_info{$key}); 
$key = q/0 0 5 6 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node50.html%:%Aborting' unless ($toc_section_info{$key}); 
$key = q/0 0 5 7 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node52.html%:%Rigi Standard Format' unless ($toc_section_info{$key}); 
$key = q/0 0 5 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '3%:%node56.html%:%Window Basics' unless ($toc_section_info{$key}); 
$key = q/0 0 5 9 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node74.html%:%Deselecting all nodes' unless ($toc_section_info{$key}); 
$key = q/0 0 5 8 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node65.html%:%Bringing up the Settings dialog' unless ($toc_section_info{$key}); 
$key = q/0 0 4 1 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node20.html%:%Traversing the hierarchy' unless ($toc_section_info{$key}); 
$key = q/0 0 5 11 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node98.html%:%Editing annotation for an arc' unless ($toc_section_info{$key}); 
$key = q/0 0 5 15 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node133.html%:%Zooming out' unless ($toc_section_info{$key}); 
$key = q/0 0 5 20 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node168.html%:%Enlarging the size of a node' unless ($toc_section_info{$key}); 
$key = q/0 0 5 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '3%:%node101.html%:%Opening windows' unless ($toc_section_info{$key}); 
$key = q/0 0 5 12 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node107.html%:%Presenting an overview' unless ($toc_section_info{$key}); 
$key = q/0 0 5 16 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node141.html%:%Arranging nodes into a grid' unless ($toc_section_info{$key}); 
$key = q/0 0 6 4 14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node195.html%:%Arc menu' unless ($toc_section_info{$key}); 
$key = q/0 0 5 13 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node110.html%:%Creating a new node' unless ($toc_section_info{$key}); 
$key = q/0 0 5 9 15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node81.html%:%Selecting reachable nodes along outgoing arcs' unless ($toc_section_info{$key}); 
$key = q/0 0 6 4 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node183.html%:%Edit menu' unless ($toc_section_info{$key}); 
$key = q/0 0 5 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '3%:%node48.html%:%Finishing Up' unless ($toc_section_info{$key}); 
$key = q/0 0 5 5 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node44.html%:%Entering a script command' unless ($toc_section_info{$key}); 
$key = q/0 0 5 4 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node42.html%:%Changing the current domain' unless ($toc_section_info{$key}); 
$key = q/0 0 5 3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node34.html%:%Modifying a configuration file' unless ($toc_section_info{$key}); 
$key = q/0 0 5 17 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '3%:%node150.html%:%Viewing Reports' unless ($toc_section_info{$key}); 
$key = q/0 0 5 13 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node116.html%:%Cutting a subgraph' unless ($toc_section_info{$key}); 
$key = q/0 0 5 9 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node72.html%:%Complementing selected nodes' unless ($toc_section_info{$key}); 
$key = q/0 0 5 8 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node63.html%:%Closing the active window' unless ($toc_section_info{$key}); 
$key = q/0 0 4 1 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node18.html%:%Arranging nodes' unless ($toc_section_info{$key}); 
$key = q/0 0 5 16 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node147.html%:%Moving nodes to a pile' unless ($toc_section_info{$key}); 
$key = q/0 0 5 17 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node156.html%:%Reporting information for a composite arc' unless ($toc_section_info{$key}); 
$key = q/0 0 5 10 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node86.html%:%Renaming a node' unless ($toc_section_info{$key}); 
$key = q/0 0 5 14 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node123.html%:%Showing names of nodes' unless ($toc_section_info{$key}); 
$key = q/0 0 4 1 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node23.html%:%Rigi Views' unless ($toc_section_info{$key}); 
$key = q/0 0 5 20 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node175.html%:%Viewing the annotation for a node' unless ($toc_section_info{$key}); 
$key = q/0 0 5 10 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node92.html%:%Changing node type colors' unless ($toc_section_info{$key}); 
$key = q/0 0 5 18 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node159.html%:%Saving a view' unless ($toc_section_info{$key}); 
$key = q/0 0 5 11 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node97.html%:%Editing attributes of an arc' unless ($toc_section_info{$key}); 
$key = q/0 0 5 15 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node132.html%:%Zooming in' unless ($toc_section_info{$key}); 
$key = q/0 0 5 20 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node167.html%:%Filtering children' unless ($toc_section_info{$key}); 
$key = q/0 0 6 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '3%:%node181.html%:%Menu Commands' unless ($toc_section_info{$key}); 
$key = q/0 0 5 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '3%:%node40.html%:%Working with Domains' unless ($toc_section_info{$key}); 
$key = q/0 0 5 3 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node32.html%:%Rigi configuration parameters' unless ($toc_section_info{$key}); 
$key = q/0 0 5 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node30.html%:%Using the Arc menu' unless ($toc_section_info{$key}); 
$key = q/0 0 6 4 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node190.html%:%Window menu' unless ($toc_section_info{$key}); 
$key = q/0 0 5 9 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node70.html%:%Selecting and deselecting nodes by shift-clicking' unless ($toc_section_info{$key}); 
$key = q/0 0 5 8 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node61.html%:%Refreshing a window' unless ($toc_section_info{$key}); 
$key = q/0 0 4 1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node16.html%:%Object level' unless ($toc_section_info{$key}); 
$key = q/0 0 5 12 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node106.html%:%Presenting a projection' unless ($toc_section_info{$key}); 
$key = q/0 0 3 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '3%:%node11.html%:%SQL/DS Demo' unless ($toc_section_info{$key}); 
$key = q/0 0 5 16 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node140.html%:%Arranging nodes vertically' unless ($toc_section_info{$key}); 
$key = q/0 0 6 4 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node194.html%:%Node menu' unless ($toc_section_info{$key}); 
$key = q/0 0 5 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '3%:%node109.html%:%Editing the Graph' unless ($toc_section_info{$key}); 
$key = q/0 0 5 9 14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node80.html%:%Selecting neighboring nodes along incoming arcs' unless ($toc_section_info{$key}); 
$key = q/0 0 5 13 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node115.html%:%Expanding a subsystem' unless ($toc_section_info{$key}); 
$key = q/0 0 5 17 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node155.html%:%Viewing information for an arc' unless ($toc_section_info{$key}); 
$key = q/0 0 5 10 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node85.html%:%Changing current node type' unless ($toc_section_info{$key}); 
$key = q/0 0 5 14 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node122.html%:%Hiding names of nodes' unless ($toc_section_info{$key}); 
$key = q/0 0 5 10 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node91.html%:%Opening a URL for a node' unless ($toc_section_info{$key}); 
$key = q/0 0 5 18 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '3%:%node158.html%:%Working with Views' unless ($toc_section_info{$key}); 
$key = q/0 0 6 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '3%:%node179.html%:%Mouse Actions' unless ($toc_section_info{$key}); 
$key = q/0 0 5 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '3%:%node28.html%:%Working with Menus' unless ($toc_section_info{$key}); 
$key = q/0 0 5 14 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node128.html%:%Inheriting filter settings' unless ($toc_section_info{$key}); 
$key = q/0 0 6 4 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node188.html%:%Layout menu' unless ($toc_section_info{$key}); 
$key = q/0 0 5 9 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node68.html%:%Selecting an arc' unless ($toc_section_info{$key}); 
$key = q/0 0 5 8 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node59.html%:%Raising the active window' unless ($toc_section_info{$key}); 
$key = q/0 0 5 7 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node55.html%:%Clearing a graph' unless ($toc_section_info{$key}); 
$key = q/0 0 5 3 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node39.html%:%Defining the default database directory' unless ($toc_section_info{$key}); 
$key = q/0 0 4 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node14.html%:%Basics' unless ($toc_section_info{$key}); 
$key = q/0 0 3 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '3%:%node9.html%:%List Demo' unless ($toc_section_info{$key}); 
$key = q/0 0 3 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node8.html%:%Basics' unless ($toc_section_info{$key}); 
$key = q/0 0 5 16 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node148.html%:%Moving nodes in synch' unless ($toc_section_info{$key}); 
$key = q/0 0 5 11 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node96.html%:%Changing the type of an arc' unless ($toc_section_info{$key}); 
$key = q/0 0 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '3%:%node4.html%:%About This Book' unless ($toc_section_info{$key}); 
$key = q/0 0 5 15 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node131.html%:%Fitting selected nodes within a window' unless ($toc_section_info{$key}); 
$key = q/0 0 5 19 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node162.html%:%Toolbar Buttons' unless ($toc_section_info{$key}); 
$key = q/0 0 5 20 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node166.html%:%Eliding the children of a node' unless ($toc_section_info{$key}); 
$key = q/0 0 5 20 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node176.html%:%Editing the source text for a node' unless ($toc_section_info{$key}); 
$key = q/0 0 5 20 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node172.html%:%Overlapping children' unless ($toc_section_info{$key}); 
$key = q/0 0 5 12 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node105.html%:%Presenting selected nodes in a new window' unless ($toc_section_info{$key}); 
$key = q/0 0 5 16 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node139.html%:%Arranging nodes horizontally' unless ($toc_section_info{$key}); 
$key = q/0 0 5 16 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node145.html%:%Arranging all nodes in a Sugiyama layout' unless ($toc_section_info{$key}); 
$key = q/0 0 6 4 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node193.html%:%Help menu' unless ($toc_section_info{$key}); 
$key = q/0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '2%:%node196.html%:%  About this document ... ' unless ($toc_section_info{$key}); 
$key = q/0 0 5 9 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node79.html%:%Selecting neighboring nodes along outgoing arcs' unless ($toc_section_info{$key}); 
$key = q/0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '2%:%node177.html%:%node177.html' unless ($toc_section_info{$key}); 
$key = q/0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '2%:%node26.html%:%Handbook' unless ($toc_section_info{$key}); 
$key = q/0 0 6 4 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node186.html%:%Filter menu' unless ($toc_section_info{$key}); 
$key = q/0 0 5 13 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node114.html%:%Collapsing a subsystem' unless ($toc_section_info{$key}); 
$key = q/0 0 5 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '3%:%node66.html%:%Making Selections' unless ($toc_section_info{$key}); 
$key = q/0 0 5 8 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node57.html%:%Window types' unless ($toc_section_info{$key}); 
$key = q/0 0 5 7 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node53.html%:%Saving a graph' unless ($toc_section_info{$key}); 
$key = q/0 0 5 5 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node47.html%:%Listing global variables' unless ($toc_section_info{$key}); 
$key = q/0 0 5 3 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node37.html%:%Defining the default web browser' unless ($toc_section_info{$key}); 
$key = q/0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '2%:%node12.html%:%Tutorial' unless ($toc_section_info{$key}); 
$key = q/0 0 5 9 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node75.html%:%Selecting nodes by name' unless ($toc_section_info{$key}); 
$key = q/0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '2%:%node6.html%:%Demos' unless ($toc_section_info{$key}); 
$key = q/0 0 4 1 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node21.html%:%Detailed information' unless ($toc_section_info{$key}); 
$key = q/0 0 5 17 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node154.html%:%Reporting subsystem dependency information' unless ($toc_section_info{$key}); 
$key = q/0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '2%:%node2.html%:%Introduction' unless ($toc_section_info{$key}); 
$key = q/0 0 5 10 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node84.html%:%Node types' unless ($toc_section_info{$key}); 
$key = q/0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '2%:%node1.html%:%Contents' unless ($toc_section_info{$key}); 

1;

