Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Formatting fix | Thomas Voss | 2024-09-04 | 1 | -1/+1 |
* | Improve interactive usage | Thomas Voss | 2024-09-04 | 1 | -2/+3 |
* | Use errx() | Thomas Voss | 2024-09-04 | 1 | -2/+1 |
* | Genesis commit | Thomas Voss | 2024-09-04 | 1 | -0/+111 |
index : pinocchio | ||
A truth table solver with LaTeX and UTF-8 output | Thomas Voss |
aboutsummaryrefslogtreecommitdiff |
Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Formatting fix | Thomas Voss | 2024-09-04 | 1 | -1/+1 |
* | Improve interactive usage | Thomas Voss | 2024-09-04 | 1 | -2/+3 |
* | Use errx() | Thomas Voss | 2024-09-04 | 1 | -2/+1 |
* | Genesis commit | Thomas Voss | 2024-09-04 | 1 | -0/+111 |