Commits · master · Gaëtan Gilbert / Iris

Mar 13, 2020
- the old docs/ folder moved to tex/ · 0d32b394
  Ralf Jung authored 5 years ago
  
  0d32b394
Oct 18, 2016
- be even more verbose about licensing · d5f015ae
  Ralf Jung authored 8 years ago
  
  d5f015ae
- add a LICENSE file summarizing our licensing · 0fff70bc
  Ralf Jung authored 8 years ago
  
  0fff70bc
- put the appendix under CC-BY 4.0 · 84a678c9
  Ralf Jung authored 8 years ago
  
  84a678c9
Jan 31, 2016
- copy the first half of the Iris appendix into the repository, so that we can... · 2c1c1ab8
  Ralf Jung authored 9 years ago
  
  copy the first half of the Iris appendix into the repository, so that we can keep the documentation in sync
  2c1c1ab8
Jan 16, 2016
- Add LICENSE. · 3b09687d
  Robbert Krebbers authored 9 years ago
  
  3b09687d