--- Log opened Fri Apr 10 00:00:48 2020
06:40 < adiabat> ysangkok: the functions that produce the proofs all have sorted output
06:41 < adiabat> and most of the time you need the proofs before you know which positions to delete, so it generally works.  But yeah it's like a couple lines to sort it
06:42 < adiabat> so wouldn't be hard to sort at the beginning of Modify if there's a need
10:59 -!- Netsplit *.net <-> *.split quits: tnaka
11:03 -!- Netsplit over, joins: tnaka
--- Log closed Sat Apr 11 00:00:49 2020