pinocchio - A truth table solver with LaTeX and UTF-8 output

	Commit message (Collapse)	Author	Age	Files	Lines
*	Formatting	Thomas Voss	2024-09-04	1	-6/+6
\|
*	Replace digits with binary	Thomas Voss	2024-09-04	1	-7/+7
\|
*	Remove --latex in favour of --table-style	Thomas Voss	2024-09-04	3	-17/+44
\|
*	Add a mailmap	Thomas Voss	2024-09-04	1	-0/+1
\|
*	Support T/F, 0/1, and ⊤/⊥ in output	Thomas Voss	2024-09-04	1	-17/+53
\|
*	Support LaTeX output	Thomas Voss	2024-09-04	3	-13/+81
\|
*	Formatting	Thomas Voss	2024-09-04	1	-9/+7
\|
*	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	4	-10/+61
\|
*	Use errx()	Thomas Voss	2024-09-04	1	-2/+1
\|
*	Genesis commit	Thomas Voss	2024-09-04	7	-0/+419