Project

General

Profile

Spent time

Filters

Apply Clear

Hours: 2.50

Date User Activity Issue Comment Hours
15 Mar 2013 John Abbott Development Feature #3: implement creation of a PPMonoidElement from vector<BigInt> Apparently already done 2.50
    (1-1/1)

    Also available in: Atom CSV