Project

General

Profile

Spent time

Filters

Apply Clear

Hours: 238.23

Date User Activity Issue Comment Hours
27 Oct 2020 John Abbott Design Design #635: Automatic mapping of RingElem (in operation with a compound value) Not yet 0.20
27 Oct 2020 John Abbott Documentation Feature #7: Automatic mapping between (some) rings Master issue 0.25
26 Oct 2020 John Abbott Design Design #1508: Initial ring Idea 0.20
26 Oct 2020 John Abbott Development Design #1519: Interpreter fn Value::from can use std::move? More notes 0.10
23 Oct 2020 John Abbott Design Design #1508: Initial ring Good suggestion 0.25
23 Oct 2020 Anna Maria Bigatti Design Design #1508: Initial ring 0.50
22 Oct 2020 John Abbott Testing Design #635: Automatic mapping of RingElem (in operation with a compound value) Correction 0.20
19 Oct 2020 John Abbott Debugging Design #1508: Initial ring Source code 0.20
19 Oct 2020 John Abbott Design Design #1508: Initial ring More thoughts 0.10
13 Oct 2020 John Abbott Design Design #1508: Initial ring Some notes 0.25
09 Oct 2020 John Abbott Documentation Feature #1293: Vim Plugin for CoCoA Suggestion 0.20
08 Oct 2020 John Abbott Design Feature #1503: More flexible ring creation syntax (after use or ::=) How limited? 0.10
08 Oct 2020 John Abbott Design Feature #1503: More flexible ring creation syntax (after use or ::=) Some notes 0.25
08 Oct 2020 John Abbott Documentation Feature #1293: Vim Plugin for CoCoA Release? 0.10
08 Oct 2020 John Abbott Design Bug #1502: SystemCommand in Microsoft version Some notes 0.40
02 Oct 2020 John Abbott Development Design #1496: Use "special" names for variables inside tests List of tests 0.10
02 Oct 2020 John Abbott Design Design #1496: Use "special" names for variables inside tests Some notes 0.20
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
17 Sep 2020 John Abbott Testing Feature #1415: thmproving package News? 0.10
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 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
(326-350/571) Per page: 25, 100, 500

Also available in: Atom CSV