Project

General

Profile

Spent time

Filters

Apply Clear

Hours: 8.40

Date User Activity Issue Comment Hours
29 May 2012 John Abbott Development Feature #156: Brand new symbol(s) Modified following the separation of ThreadsafeCounter 0.25
29 May 2012 John Abbott Development Feature #156: Brand new symbol(s) Implemented the neater design suggested in note 11. 0.75
28 May 2012 John Abbott Development Feature #156: Brand new symbol(s) Completed 2.50
25 May 2012 Anna Maria Bigatti Documentation Feature #156: Brand new symbol(s) fixed and cleaned doc for anonymous symbol 0.50
10 May 2012 John Abbott Design Feature #156: Brand new symbol(s) Remove enum AnonymousMarker 0.20
10 May 2012 John Abbott Development Feature #156: Brand new symbol(s) Still to do --> Anna? 0.10
10 May 2012 John Abbott Development Feature #156: Brand new symbol(s) No IsAnonymous fn 0.70
10 May 2012 John Abbott Development Feature #156: Brand new symbol(s) First impl 1.50
09 May 2012 John Abbott Design Feature #156: Brand new symbol(s) Impl idea 0.50
08 May 2012 John Abbott Design Feature #156: Brand new symbol(s) An impl suggestion 0.50
07 May 2012 John Abbott Design Feature #156: Brand new symbol(s) More proposals for the head 0.20
07 May 2012 John Abbott Design Feature #156: Brand new symbol(s) Generating several symbols 0.10
07 May 2012 John Abbott Design Feature #156: Brand new symbol(s) Signatures for new PPMonoid ctors 0.10
07 May 2012 John Abbott Design Feature #156: Brand new symbol(s) Some first design ideas 0.50
    (1-14/14)

    Also available in: Atom CSV