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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Improve error messages a tiny bit	Thomas Voss	2024-09-06	1	-5/+4
\|
*	Perform line continuation in non-interactive mode only	Thomas Voss	2024-09-05	1	-2/+9
\|
*	Use the correct symbol for XOR	Thomas Voss	2024-09-05	1	-1/+1
\|
*	Fix some integer-type bugs	Thomas Voss	2024-09-05	1	-3/+3
\|
*	Add -s	Thomas Voss	2024-09-04	1	-3/+20
\|
*	Support multiple eqns per table	Thomas Voss	2024-09-04	1	-41/+104
\|
*	Use ⊕ as the XOR symbol	Thomas Voss	2024-09-04	1	-1/+1
\|
*	Replace digits with binary	Thomas Voss	2024-09-04	1	-7/+7
\|
*	Remove --latex in favour of --table-style	Thomas Voss	2024-09-04	1	-13/+42
\|
*	Support T/F, 0/1, and ⊤/⊥ in output	Thomas Voss	2024-09-04	1	-17/+53
\|
*	Support LaTeX output	Thomas Voss	2024-09-04	1	-11/+74
\|
*	Formatting	Thomas Voss	2024-09-04	1	-9/+7
\|
*	Improve interactive usage	Thomas Voss	2024-09-04	1	-5/+43
\|
*	Genesis commit	Thomas Voss	2024-09-04	1	-0/+206