1. Jan 05, 2017
  2. Apr 03, 2015
  3. Mar 18, 2015
  4. Mar 14, 2015
  5. Aug 12, 2015
  6. Jul 22, 2015
  7. Oct 20, 2014
  8. Oct 15, 2014
  9. Aug 19, 2014
    • Michael Grünewald's avatar
      Update file headers · faeefe26
      Michael Grünewald authored
      This major spamming operation updates:
      - the name of the project
      - the copyright notice
      - the project URL
      faeefe26
  10. Apr 02, 2014
  11. Jan 20, 2014
  12. Jan 08, 2014
  13. Oct 30, 2013
  14. Oct 05, 2013
    • Michael Grünewald's avatar
      Enhance documentation · 10b507af
      Michael Grünewald authored
      - Rewrite the README file
      - Add cookie in files to keep work progress
      - Add a small reporting utilities for cookies
      - Clean OCaml test-examples in test/ocaml
      10b507af