CTAN update: logictools