Activity
From 07 Aug 2018 to 05 Sep 2018
04 Sep 2018
02 Sep 2018
-
21:41 0.10 hour (Design #1223 (Closed): NewPolyRing default indet names)
- First cause of bug
-
21:35 0.50 hour (Design #1223 (Closed): NewPolyRing default indet names)
- Original problem
16 Aug 2018
-
07:48 0.25 hour (Feature #1219 (In Progress): Frobby version number)
- Trickier than expected
-
06:58 0.50 hour (Feature #1219 (In Progress): Frobby version number)
- Some notes
09 Aug 2018
08 Aug 2018
Also available in: Atom