Age | Commit message (Expand) | Author |
---|---|---|
2021-02-23 | add paper | Christian Grothoff |
2021-01-30 | add JKF thesis | Christian Grothoff |
2020-08-20 | add thesis from Wenger | Christian Grothoff |
2020-07-03 | update report | Christian Grothoff |
2020-07-03 | fix typo | Christian Grothoff |
2020-07-02 | add CB report | Christian Grothoff |
2020-06-12 | add Anastasis thesis | Christian Grothoff |
2019-10-27 | add Dold's PhD thesis to bibliography | Florian Dold |
2017-10-02 | fix PDF build issues | Christian Grothoff |
2017-08-30 | errata | Christian Grothoff |
2017-03-06 | fixing #4941: add bibliography page | Christian Grothoff |