Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2021-12-03 | style: use pikchr markup for diagrams of PK communication | Lars Wirzenius | 1 | -1/+1 |
2021-10-30 | show git describe as version | Lars Wirzenius | 1 | -2/+2 |
2021-10-30 | put back sections for platforms in installation chapter | Lars Wirzenius | 1 | -1/+1 |
2021-10-29 | tweak formatting | Lars Wirzenius | 1 | -2/+7 |
2021-10-15 | Add Makefile for producing HTML and PDF | Lars Wirzenius | 1 | -0/+9 |