6 Commits

Author	SHA1	Message	Date
Dan Balasescu	7bc8908ca9	Partial everything	2022-11-27 00:00:27 +09:00
Dan Balasescu	f8830c6850	Automated #nullable processing	2022-06-17 16:37:17 +09:00
Dean Herbert	c0bc6a75b3	Show auxiliary judgements on next line	2020-10-07 16:17:17 +09:00
Dean Herbert	e281d724b8	Consume display name logic	2020-10-07 15:43:52 +09:00
smoogipoo	a07597c369	Adjust displays to use new results/orderings	2020-09-25 20:22:59 +09:00
smoogipoo	66558ca8c5	Colourise hit result statistics	2020-03-18 17:26:17 +09:00