Commit message (Expand) | Author | Age | |
---|---|---|---|
* | preface: rewrite footnotes to in-page text. | Nils Gillmann | 2018-10-10 |
* | Documentation: Drop the empty '1.5 General Terminology' section for now | Nils Gillmann | 2018-07-08 |
* | Documentation: Contributing to this book. A motivational short section on how... | Nils Gillmann | 2018-07-08 |
* | Documentation: Fix some TODOs in preface | Nils Gillmann | 2018-07-04 |
* | Documentation: Typo fixes, links. | Nils Gillmann | 2018-07-04 |
* | preface updates based on feedback from Bernd | Christian Grothoff | 2018-06-28 |
* | 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 |