commit cea5cf71
Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
Date:   Mon Jun 5 17:57:53 2017 +0200

    Fixing README.md

commit ea561afb
Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
Date:   Mon Jun 5 16:52:42 2017 +0200

    Fixing README.md

commit 3d36dc44
Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
Date:   Thu May 25 21:56:10 2017 +0200

    Version to 2.6

commit da86a4ef
Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
Date:   Mon May 22 14:32:35 2017 +0200

    2.0 to 2.5, CRLF to LF

commit 8652edad
Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
Date:   Tue May 2 21:46:52 2017 +0200

    Fixing README.md

commit 2784f333
Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
Date:   Thu Apr 20 10:07:27 2017 +0200

    Fixing README.md

commit c55104ad
Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
Date:   Wed Mar 29 14:06:27 2017 +0200

    Fixing README.md

commit 781df85c
Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
Date:   Tue Mar 28 16:32:48 2017 +0200

    Fixing README.md

commit 9d6fb026
Author: Clark Barrett <barrett@cs.stanford.edu>
Date:   Mon Mar 20 10:32:44 2017 -0700

    Minor change.

commit b1f40877
Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
Date:   Thu Feb 9 11:26:56 2017 +0100

    Adding README.md