1. 15 Jun, 2017 1 commit
  2. 06 Jun, 2017 1 commit
    • Squashed commit of the following: · cc94d516
      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
      Clark Barrett committed
  3. 02 May, 2017 1 commit
  4. 20 Apr, 2017 1 commit
  5. 29 Mar, 2017 1 commit
  6. 08 Mar, 2017 1 commit
  7. 09 Feb, 2017 3 commits
  8. 03 May, 2016 1 commit
  9. 02 May, 2016 1 commit
  10. 25 Mar, 2016 1 commit