Age | Commit message (Collapse) | Author | |
---|---|---|---|
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 | |