Commit message (Expand) | Author | Age | |
---|---|---|---|
* | HANDBOOK: Minor updates | Schanzenbach, Martin | 2018-11-14 |
* | doc: in installation.texi convert an unused table to itemize. | Nils Gillmann | 2018-11-04 |
* | doc/documentation split into doc/tutorial and doc/handbook for clarity and to... | Christian Grothoff | 2018-10-25 |