Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Commits on Jul 13, 2013
  1. Merge pull request #15 from MarwanG/packaging

    authored
    Packaging
Commits on Jul 12, 2013
  1. @MarwanG

    compile and cleanup scripts

    MarwanG authored
  2. @MarwanG

    packaging scripts fix

    MarwanG authored
  3. @MarwanG

    fix for byte compilation

    MarwanG authored
  4. @MarwanG

    one single makefile

    MarwanG authored
  5. @MarwanG

    script fixing

    MarwanG authored
  6. debian 32 vs 64

    Frederic Peschanski authored
  7. small modifs

    authored
Commits on Jul 10, 2013
  1. Merge pull request #10 from MarwanG/packaging

    authored
    Packaging
  2. @MarwanG

    opam packaging script

    MarwanG authored
  3. @MarwanG
Commits on Jul 9, 2013
  1. @MarwanG

    removing DS_Store

    MarwanG authored
  2. @MarwanG

    script debian binary package

    MarwanG authored
Commits on Jul 6, 2013
  1. @MarwanG
Commits on Jul 3, 2013
  1. Merge pull request #9 from MarwanG/master

    authored
    if zstart changed
  2. @MarwanG

    if changed

    MarwanG authored
  3. Merge pull request #8 from MarwanG/master

    authored
    zstart boolean
Commits on Jul 2, 2013
  1. @MarwanG

    zstart_set

    MarwanG authored
  2. Merge pull request #7 from MarwanG/master

    authored
    clean up
  3. @MarwanG

    added types

    MarwanG authored
  4. @MarwanG
  5. @MarwanG

    removed Tests.ml

    MarwanG authored
  6. @MarwanG

    arb to spec

    MarwanG authored
  7. @MarwanG

    Removal of all comments

    MarwanG authored
Commits on Jul 1, 2013
  1. @MarwanG

    fix for seq

    MarwanG authored
  2. @MarwanG

    Parser for seq

    MarwanG authored
  3. @MarwanG

    zstart implemented

    MarwanG authored
Commits on Jun 27, 2013
  1. Merge pull request #5 from MarwanG/Fix/Name

    authored
    Fix/name, ok (will try it)
Commits on Jun 26, 2013
  1. @MarwanG

    added xml option

    MarwanG authored
  2. @MarwanG

    option to chose name of file

    MarwanG authored
  3. @MarwanG

    fix for output files

    MarwanG authored
Commits on Jun 24, 2013
  1. Merge pull request #4 from MarwanG/leaf

    authored
    Leaf
  2. @MarwanG

    output option

    MarwanG authored
  3. @MarwanG

    print fix

    MarwanG authored
Something went wrong with that request. Please try again.