1. 09 Sep, 2018 1 commit
  2. 29 Oct, 2017 1 commit
  3. 07 Aug, 2017 2 commits
  4. 06 Aug, 2017 1 commit
  5. 01 Aug, 2017 1 commit
  6. 31 Jul, 2017 1 commit
  7. 28 Jul, 2017 2 commits
  8. 26 Jul, 2017 2 commits
  9. 24 Jul, 2017 2 commits
  10. 21 Jul, 2017 1 commit
  11. 19 Jul, 2017 1 commit
  12. 18 Jul, 2017 2 commits
  13. 17 Jul, 2017 1 commit
  14. 13 Jul, 2017 1 commit
  15. 11 Jul, 2017 2 commits
  16. 07 Jul, 2017 1 commit
  17. 03 Jul, 2017 1 commit
  18. 30 Jun, 2017 1 commit
  19. 27 Jun, 2017 1 commit
    • Idir Lankri's avatar
      Split corpus manager into submodules · e006b8fb
      Idir Lankri authored
      We have now 3 modules for the corpus manager:
      
        - Corpus: operations on corpus tree
      
        - Corpus_manager: generation of HTML page without CGI arguments
          processing
      
        - Corpus_manager_cgi: just parses the query string and calls
          Corpus_manager to generate the right page
      e006b8fb