[Termtools] TermComp'15 registration

[Johannes Waldmann]

Dear all,

I updated the web page with the registration information
for this year's Termination Competition

http://termination-portal.org/wiki/Termination_Competition_2015_Registration

The process is the same as it was last year.

If you are a competitor who takes part for the first time:
Welcome!

Do ask technical questions ("how do I do X")
on this mailing list here (not email to me).
Others - please help answering. Copy the answer to the list,
to avoid duplicate effort. If applicable: write, extend,
improve the corresponding Wiki page and post a link here.

Best regards, Johannes.