Project

General

Profile

Spent time

Filters

Apply Clear

Hours: 0.55

Date User Activity Issue Comment Hours
02 Aug 2016 John Abbott Design Support #774: Rename file PPMonoidEvZZ Tidying 0.25
21 Mar 2016 John Abbott Design Support #774: Rename file PPMonoidEvZZ Half done? 0.20
23 Nov 2015 John Abbott Design Support #774: Rename file PPMonoidEvZZ Another proposal 0.10
    (1-3/3)

    Also available in: Atom CSV