tem">Deploying on the Web</a>
</li>
                            
<li>
    <a href="manual/remote/" class="dropdown-item">Remote Compilation</a>
</li>
                            
<li>
    <a href="manual/mathdoc/" class="dropdown-item">Mathematical Documentation</a>
</li>
                            
<li>
    <a href="manual/osc/" class="dropdown-item">OSC Support</a>
</li>
                            
<li>
    <a href="manual/http/" class="dropdown-item">HTTP Support</a>
</li>
                            
