Authors:
Stéphane GALLAND <galland@arakhne.org>

Contributors:
Aurel GABRIS <gabrisa@optics.szfki.kfki.hu>
Gasper JAKLIC <gasper.jaklic@fmf.uni-lj.si>
Tobias LOEW <loew@mathematik.tu-darmstadt.de>
Joao LOURENCO <joao.lourenco@di.fct.unl.pt>
Dimitris MICHAIL <michail@mpi-sb.mpg.de>
Luca PAOLINI <paolini@di.unito.it>
Norbert PREINING <preining@logic.at>
Cristian RIGAMONTI <cri@linux.it>
Sebastian RODRIGUEZ <sebastian.rodriguez@utbm.fr>
Martin P.J. ZINSER <zinser@zinser.no-ip.info>