Project

General

Profile

Spent time

Filters

Apply Clear

Hours: 4993.82

Date User Activity Issue Comment Hours
23 Sep 2020 John Abbott Debugging Bug #1200: Package exported function: wrong package name Source code 0.10
23 Sep 2020 John Abbott Development Bug #1200: Package exported function: wrong package name Postponing 0.10
23 Sep 2020 John Abbott Design Support #692: Local variables hiding out ones at top level More thoughts 0.20
23 Sep 2020 John Abbott Testing Bug #1294: CoCoA-5 tests may fail even if executed correctly First impl 1.50
17 Sep 2020 John Abbott Testing Feature #1415: thmproving package News? 0.10
17 Sep 2020 John Abbott Development Bug #1294: CoCoA-5 tests may fail even if executed correctly More notes 0.50
16 Sep 2020 John Abbott Design Feature #1488: BuiltIn Interreduce-Function Semantics & other ideas 0.25
16 Sep 2020 John Abbott Development Feature #1488: BuiltIn Interreduce-Function Adjoined 1.00
16 Sep 2020 John Abbott Development Feature #1488: BuiltIn Interreduce-Function Revised source 1.00
15 Sep 2020 John Abbott Design Bug #1294: CoCoA-5 tests may fail even if executed correctly Good point 0.25
14 Sep 2020 John Abbott Design Support #1486: Emacs UI: indentation in a package Some notes 0.20
14 Sep 2020 John Abbott Design Feature #1485: Simple syntax for making a quotient ring? Some notes 0.10
14 Sep 2020 John Abbott Debugging Bug #1484: ker bug (quotientinghom for R/ideal()) More to do? 0.10
14 Sep 2020 John Abbott Debugging Bug #1484: ker bug (quotientinghom for R/ideal()) Mostly done? 0.00
14 Sep 2020 John Abbott Debugging Feature #1485: Simple syntax for making a quotient ring? More places? 0.10
14 Sep 2020 John Abbott Debugging Feature #1485: Simple syntax for making a quotient ring? Mostly done? 0.25
14 Sep 2020 John Abbott Development Feature #1483: IsPowerOf2 for rationals Done 0.25
31 Aug 2020 John Abbott Design Feature #1482: Extended rationals: PlusInfinity and MinusInfinity More notes 0.20
31 Aug 2020 John Abbott Design Feature #1482: Extended rationals: PlusInfinity and MinusInfinity GMP 0.10
31 Aug 2020 John Abbott Development Feature #1176: interval arithmetic MPRIA 0.10
31 Aug 2020 John Abbott Design Feature #1482: Extended rationals: PlusInfinity and MinusInfinity Some notes 0.50
31 Aug 2020 John Abbott Design Feature #1482: Extended rationals: PlusInfinity and MinusInfinity Some notes 0.50
28 Aug 2020 John Abbott Documentation Support #1481: Release CoCoALib 0.99800 Summary of changes 0.20
28 Aug 2020 John Abbott Development Support #1196: Split MatrixOps Partly done 1.00
11 Aug 2020 John Abbott Documentation Support #1480: Documentation for making ring with parameters 0.20
(1876-1900/7180) Per page: 25, 100, 500

Also available in: Atom CSV