1. 21 May, 2019 1 commit
  2. 15 May, 2019 1 commit
  3. 04 May, 2019 1 commit
  4. 01 Feb, 2019 2 commits
  5. 08 Nov, 2018 1 commit
  6. 15 Oct, 2018 1 commit
  7. 21 Mar, 2018 1 commit
  8. 29 Nov, 2017 1 commit
    • Ralf Jung's avatar
      Allow compiling against "dev" version of Coq · a5bc9446
      Ralf Jung authored
      This matches e.g. Iris allowing a "dev" version of std++: You can install a
      "dev" version to test stuff, but then you are responsible for making sure that
      these versions actually work together.  We rely on that when testing things
      against Iris master every night, for which purpose we install Iris master as
      "dev" version.
      a5bc9446
  9. 18 Oct, 2017 1 commit
  10. 21 Sep, 2017 1 commit
  11. 20 Sep, 2017 2 commits
  12. 18 Sep, 2017 2 commits
  13. 22 Aug, 2017 1 commit
  14. 14 Feb, 2017 2 commits
  15. 13 Feb, 2017 1 commit
  16. 07 Feb, 2017 1 commit
  17. 03 Feb, 2017 1 commit