Project

General

Profile

Spent time

Filters

Apply Clear

Hours: 193.15

Date User Activity Issue Comment Hours
20 Mar 2012 John Abbott Development Feature #50: Polynomial content Added 2 fns 3.00
18 Mar 2012 John Abbott Design Bug #22: Rename PPMonoidEvZZ? A wider suggestion 1.00
16 Mar 2012 John Abbott Development Feature #51: polynomial coefficient extraction w.r.t. variable First impl 5.00
03 Feb 2012 Anna Maria Bigatti Documentation Feature #84: Names for random streams fixed examples, documentation, now public on web page 1.00
02 Feb 2012 Anna Maria Bigatti Development Feature #84: Names for random streams adding the functions without RndSrc argument, new examples 1.50
02 Feb 2012 John Abbott Design Feature #84: Names for random streams Using global PRNG 0.10
02 Feb 2012 Anna Maria Bigatti Development Feature #84: Names for random streams implemented trial version for RandomLong(lo,hi) 0.25
01 Feb 2012 Anna Maria Bigatti Design Feature #84: Names for random streams studying the documentation and the examples to improve the interface 0.25
01 Feb 2012 Anna Maria Bigatti Design Feature #84: Names for random streams looking for other random generators 0.25
01 Feb 2012 John Abbott Design Feature #84: Names for random streams Another proposal 0.20
01 Feb 2012 Anna Maria Bigatti Design Feature #84: Names for random streams name and philosophy proposal after skype discussion 0.50
01 Feb 2012 John Abbott Documentation Feature #84: Names for random streams Difference between RandomSource & Random*Stream not clear 0.20
01 Feb 2012 John Abbott Design Feature #84: Names for random streams Templates and template specialization 0.10
01 Feb 2012 John Abbott Design Feature #84: Names for random streams Prefix, suffix, abbreviations 0.50
09 Nov 2011 Anna Maria Bigatti Design Bug #22: Rename PPMonoidEvZZ? 0.10
(101-115/115) Per page: 25, 100, 500

Also available in: Atom CSV