1. 07 Nov, 2019 2 commits
  2. 28 Oct, 2019 6 commits
  3. 25 Oct, 2019 4 commits
  4. 24 Oct, 2019 1 commit
    • Julien Lepiller's avatar
      Rewrite coq parser · 4bca980b
      Julien Lepiller authored
      This also updates the parser behavior: it now considersr intermediate
      comments, as long as they don't belong to command, as separate commands.
      CoqNext will therefore stop at each comment, instead of passing over any
      comment before the next command.
      4bca980b
  5. 21 Oct, 2019 2 commits
  6. 18 Oct, 2019 1 commit
  7. 17 Oct, 2019 6 commits
  8. 14 Oct, 2019 3 commits
  9. 28 Jun, 2019 1 commit
  10. 27 Jun, 2019 2 commits
  11. 19 Jun, 2019 1 commit
  12. 22 May, 2019 3 commits
  13. 21 May, 2019 1 commit
  14. 16 May, 2019 1 commit
  15. 14 May, 2019 1 commit
  16. 13 May, 2019 1 commit
  17. 01 May, 2019 4 commits