Documentation about the various resources has
been collected in
<display><novr><c></c><c><pre><b></c></novr>
  <a href="http://www.cs.vu.nl/~eliens/documents">www.cs.vu.nl/~eliens/documents</a>
  </display><novr><c></b></pre></c><c></c></novr>
You may also have a look at <a href="./man1/help.html">help(1)</a>.
More information will be provided in due time.