1. 15 Jun, 2017 1 commit
  2. 07 Jun, 2017 1 commit
    • Squashed commit of the following: · 41f06ead
      commit eacf29cd
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Mon May 29 14:27:24 2017 +0200
      
          To version 2.6
      
      commit 51cb4eaa
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Wed May 3 18:35:19 2017 +0200
      
          Fixing README.md
      
      commit c59e14c4
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Thu Apr 20 10:12:28 2017 +0200
      
          Fixing README.md
      
      commit 6ecf7aeb
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Wed Mar 29 13:47:47 2017 +0200
      
          Fixing README.md
      Clark Barrett committed
  3. 02 May, 2017 1 commit
  4. 20 Apr, 2017 1 commit
  5. 29 Mar, 2017 2 commits
  6. 03 May, 2016 2 commits
  7. 26 Mar, 2016 1 commit