4 Commits (dc4932e0e77878340d72d574dce1cab546c1cf3c)

Author	SHA1	Message	Date
Joshua Potter	9ac70c15c9	Normalize formatting further, macros for lean commands.	2023-05-17 12:28:02 -06:00
Joshua Potter	0744023a9d	Clean-up section colors.	2023-05-13 09:32:13 -06:00
Joshua Potter	708295f53f	Remove the concept of an `LTuple`.	2023-05-13 09:23:44 -06:00
Joshua Potter	ddcb0f9717	Perform same aggregation on Enderton and Sequence tex files.	2023-05-13 06:59:28 -06:00