summaryrefslogtreecommitdiff
path: root/papers
AgeCommit message (Expand)Author
2021-01-30add JKF thesisChristian Grothoff
2020-08-20add thesis from WengerChristian Grothoff
2020-07-03update reportChristian Grothoff
2020-07-03fix typoChristian Grothoff
2020-07-02add CB reportChristian Grothoff
2020-06-12add Anastasis thesisChristian Grothoff
2019-10-27add Dold's PhD thesis to bibliographyFlorian Dold
2017-10-02fix PDF build issuesChristian Grothoff
2017-08-30errataChristian Grothoff
2017-03-06fixing #4941: add bibliography pageChristian Grothoff