| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Remove --latex in favour of --table-style | Thomas Voss | 2024-09-04 | 1 | -2/+1 |
| | | |||||
| * | Support LaTeX output | Thomas Voss | 2024-09-04 | 1 | -1/+5 |
| | | |||||
| * | Allow an EOF-terminated line | Thomas Voss | 2024-09-04 | 1 | -1/+3 |
| | | |||||
| * | 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 |