Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2018-03-12 | Prepare for publication | Lars-Dominik Braun | 1 | -0/+22 | |
Add a few more protocols, process BibTeX files with biber, copy&paste whitepaper, add proper license. | |||||
2017-10-16 | Split Main.hs | Lars-Dominik Braun | 1 | -0/+7 | |
Replace tabs with spaces. No functional changes. |