Commits · 425f99eaaeb47e902de9f354e22149fec3e401fa · Arthur Azevedo de Amorim / stdpp

Apr 18, 2018
- test against Coq 8.8.0; update CI · 425f99ea
  Ralf Jung authored 6 years ago
  
  425f99ea
Feb 16, 2018
- also test 8.7.2; stop testing 8.7.dev as that branch is done now · 0c5d54ab
  Ralf Jung authored 7 years ago
  
  0c5d54ab
Dec 18, 2017
- mention required opam version · 0dbc1f4a
  Ralf Jung authored 7 years ago
  
  coq-stdpp-1.1.0
  
  0dbc1f4a
- more README changes · 4507a8fb
  Ralf Jung authored 7 years ago
  
  4507a8fb
- some README changes · 5425c9b1
  Ralf Jung authored 7 years ago
  
  5425c9b1
Dec 17, 2017
- mention 8.7.1 in README · 20fb85af
  Ralf Jung authored 7 years ago
  
  20fb85af
Oct 28, 2017
- fix typo · 026de1e1
  Ralf Jung authored 7 years ago
  
  026de1e1
- README: fix link · f615c37d
  Ralf Jung authored 7 years ago
  
  f615c37d
- document side-effects of importing std++ · 2bc00178
  Ralf Jung authored 7 years ago
  
  2bc00178
Oct 18, 2017
- test against stable released Coq 8.7 · 76b2ec95
  Ralf Jung authored 7 years ago
  
  76b2ec95
Sep 17, 2017
- No longer test master using Coq 8.5pl3. · b371f874
  Robbert Krebbers authored 7 years ago
  
  b371f874
Feb 07, 2017
- update build system, CI and README · 2d8a4eb4
  Ralf Jung authored 8 years ago
  
  2d8a4eb4
- Also support Coq 8.5pl3. · 10c2f692
  Robbert Krebbers authored 8 years ago
  
  10c2f692
- Fix typo. · e1762d72
  Robbert Krebbers authored 8 years ago
  
  e1762d72
Feb 03, 2017
- Add README. · c82f6e43
  Robbert Krebbers authored 8 years ago
  
  c82f6e43