Commit message (Expand) | Author | Age | |
---|---|---|---|
* | indenting | Christian Grothoff | 2018-05-14 |
* | expand preface | Christian Grothoff | 2018-05-14 |
* | + | Nils Gillmann | 2018-05-14 |
* | fix | Nils Gillmann | 2018-05-14 |
* | doc/documentation: Move book "terminology" into new book "preface". | Nils Gillmann | 2018-05-14 |