Project

General

Profile

Spent time

Filters

Apply Clear

Hours: 2006.70

Date User Activity Issue Comment Hours
02 Oct 2020 Anna Maria Bigatti Design Design #1495: Package exporting nothing? 0.50
02 Oct 2020 Anna Maria Bigatti Documentation Bug #1200: Package exported function: wrong package name 0.25
30 Sep 2020 John Abbott Debugging Bug #1489: Unhelpful error message for package followed by identifier (without dollar sign) Some notes 0.10
30 Sep 2020 John Abbott Design Design #1493: Automatic ring mapping in assignment? Some notes 0.10
30 Sep 2020 John Abbott Design Design #1477: Packages: questions from Andraschko To discuss... 0.20
28 Sep 2020 John Abbott Debugging Support #1486: Emacs UI: indentation in a package Where 0.25
23 Sep 2020 John Abbott Debugging Bug #1200: Package exported function: wrong package name Mistake??? 0.25
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
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
11 Aug 2020 John Abbott Documentation Support #1480: Documentation for making ring with parameters 0.20
10 Aug 2020 John Abbott Documentation Design #1477: Packages: questions from Andraschko From JSAG 0.20
10 Aug 2020 John Abbott Testing Support #1451: CoCoA Manual: make search keys public Tested 0.20
10 Aug 2020 John Abbott Documentation Design #1477: Packages: questions from Andraschko Better doc 0.20
10 Aug 2020 John Abbott Design Design #1477: Packages: questions from Andraschko IsDefined 0.25
10 Aug 2020 John Abbott Design Bug #1475: HilbertSeries: make into proper rational function Some notes 0.20
10 Aug 2020 John Abbott Development Support #1451: CoCoA Manual: make search keys public Partly done 0.10
10 Aug 2020 John Abbott Testing Design #1477: Packages: questions from Andraschko Some notes 0.20
07 Aug 2020 John Abbott Testing Bug #1443: Illegal instruction Progress? 0.50
07 Aug 2020 John Abbott Testing Bug #1029: Readline: does not recognize interrupts Mysterious 0.40
(776-800/3325) Per page: 25, 100, 500

Also available in: Atom CSV