<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">

<html>

<head>

  <meta content="text/html;charset=ISO-8859-1" http-equiv="Content-Type">

  <title></title>

</head>

<body bgcolor="#ffffff" text="#000000">

Hello Petr,<br>

<blockquote cite="mid:20070628161317.GA3472@ebed.etf.cuni.cz"

 type="cite">

  <blockquote type="cite">

    <pre wrap="">Ah, documentation....... yes, some day we'll have it!

[..]

JK

    </pre>

  </blockquote>

  <pre wrap=""><!---->

By the way, do you plan some sort of wiki or so for documentation?</pre>

</blockquote>

<br>

Some day we will have a wiki too! :-) Well, I think that you can expect

some new developments in this area in July/August.<br>

<br>

Jelle<br>

<br>

(who tries to organize some of this stuff)<br>

</body>

</html>