Project

General

Profile

Spent time

Filters

Apply Clear

Hours: 6.15

Date User Activity Issue Comment Hours
23 May 2013 John Abbott Documentation Bug #22: Rename PPMonoidEvZZ? Final check with Anna 1.00
15 Mar 2013 John Abbott Development Bug #22: Rename PPMonoidEvZZ? Implemented 3.00
18 Feb 2013 John Abbott Design Bug #22: Rename PPMonoidEvZZ? Time to get implementing! 0.25
30 May 2012 John Abbott Design Bug #22: Rename PPMonoidEvZZ? Added clarification to original description 0.20
28 May 2012 John Abbott Design Bug #22: Rename PPMonoidEvZZ? No very small exp 0.20
30 Mar 2012 John Abbott Design Bug #22: Rename PPMonoidEvZZ? internal impl names 0.10
30 Mar 2012 John Abbott Design Bug #22: Rename PPMonoidEvZZ? Unified pseudo ctor name 0.30
18 Mar 2012 John Abbott Design Bug #22: Rename PPMonoidEvZZ? A wider suggestion 1.00
09 Nov 2011 Anna Maria Bigatti Design Bug #22: Rename PPMonoidEvZZ? 0.10
    (1-9/9)

    Also available in: Atom CSV