</a></li>
     <ul class="subsection">
       <li><a href="ide.html#htoc15">Setup</a></li>
       <li><a href="ide.html#htoc18">Browsing</a></li>
       <li><a href="ide.html#htoc23">Refactoring</a></li>
       <li><a href="ide.html#htoc28">Coloring</a></li>
       <li><a href="ide.html#htoc29">Completion</a></li>
       <li><a href="ide.html#htoc30">Assumptions</a></li>
       <li><a href="ide.html#htoc35">Recovery</a></li>
     </ul>
     <li><a href="tools.html">Tools</a></li>
     <li><a href="faq.html"