1. 30 May, 2014 4 commits
  2. 23 May, 2014 6 commits
  3. 22 May, 2014 6 commits
  4. 20 May, 2014 3 commits
  5. 16 May, 2014 1 commit
  6. 23 Apr, 2014 5 commits
  7. 17 Apr, 2014 1 commit
  8. 16 Apr, 2014 2 commits
  9. 11 Apr, 2014 2 commits
  10. 10 Apr, 2014 2 commits
    • Stephane Glondu's avatar
      Update installation documentation · 4af6e4f2
      Stephane Glondu authored
      4af6e4f2
    • Stephane Glondu's avatar
      Use Cmdliner for command-line parsing · 0070f0d5
      Stephane Glondu authored
      Side-effects:
       - more uniform handling of --help and --version, automatic generation
         of Unix manpages
       - slight change in syntax (see demo.sh)
       - sub-commands of "election" (Tool_election) are now direct commands,
         "election" itself disappears
       - in Tool_election, concatenate with --dir option (if any) instead of
         calling chdir
      0070f0d5
  11. 04 Apr, 2014 8 commits