1. 08 Mar, 2018 1 commit
  2. 07 Aug, 2017 1 commit
  3. 31 Jul, 2017 2 commits
  4. 28 Jul, 2017 1 commit
  5. 26 Jul, 2017 1 commit
  6. 24 Jul, 2017 2 commits
  7. 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