navigation.src.html

<h1>Navigation</h1>
<hr>
<p>
<ul>
  <li><a href="<#ROOTDIR>/index.html">Home</a></li>
  <li><a href="<#ROOTDIR>/tryrml/tryrml.html">Try online</a></li>
  <li><a href="<#ROOTDIR>/documentation.html">Documentation</a></li>
  <li><a href="<#ROOTDIR>/examples.html">Examples</a></li>
  <li><a href="<#ROOTDIR>/videos.html">Videos</a></li>
  <li><a href="<#ROOTDIR>/publications.html">Publications</a></li>
  <li><a href="<#ROOTDIR>/contact.html">Contact</a></li>
</ul>
</p>