Project

General

Profile

Spent time

Filters

Apply Clear

Hours: 0.75

Date User Activity Issue Comment Hours
11 Nov 2015 John Abbott Design Slug #799: vector of "indets" in each PPMonoid? Low priority? 0.25
11 Nov 2015 John Abbott Design Slug #799: vector of "indets" in each PPMonoid? Used only once 0.25
09 Nov 2015 John Abbott Design Slug #799: vector of "indets" in each PPMonoid? Some notes 0.25
    (1-3/3)

    Also available in: Atom CSV