1. 2020-07-07 [50] [darcs-users] How to extend a patch theory to fully commut darcs-users Ben Franksen