I cleaned up the heading styles for the second part.
Rewrote some headings for a nicer wording.

What would be cool is to have screenshots for the tools.

Phil


On Thu, Mar 27, 2014 at 1:29 PM, Marcus Denker <marcus.denker@inria.fr> wrote:

On 27 Mar 2014, at 13:24, Marcus Denker <marcus.denker@inria.fr> wrote:


On 27 Mar 2014, at 13:21, phil@highoctane.be wrote:

How can one edit the page?

Maybe you need special rights… for me there is an edit button.

I will check

Ok, I think I fixed it. Know everyone with an account can edit.

Marcus