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