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