Commits · master · Abel Nieto / Iris

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