Project

General

Profile

Spent time

Filters

Apply Clear

Hours: 4930.37

Date User Activity Issue Comment Hours
09 May 2024 John Abbott Design Feature #1778: Homogenizer Quick note 0.10
09 May 2024 John Abbott Testing Feature #1667: GBasis over ZZ: port to CoCoALib CoCoA-5 code 0.30
09 May 2024 John Abbott Discussion Support #1650: Potentially confusing prompt: waiting for semicolon More thoughts 0.20
08 May 2024 Anna Maria Bigatti Discussion Support #1566: What does rad do? 0.25
05 May 2024 John Abbott Discussion Support #1603: Unhelpful behaviour in "compatibility mode": double error mesg Ugh! 0.10
05 May 2024 John Abbott Documentation Support #1650: Potentially confusing prompt: waiting for semicolon Tricky 0.20
05 May 2024 John Abbott Testing Support #1566: What does rad do? Vanished? 0.10
05 May 2024 John Abbott Testing Slug #1760: Quitting can be slow Done 0.20
05 May 2024 John Abbott Discussion Feature #97: OpenOFile Close? 0.10
05 May 2024 John Abbott Discussion Design #1508: Initial ring Summary 0.30
05 May 2024 John Abbott Discussion Design #1496: Use "special" names for variables inside tests Puzzled 0.10
05 May 2024 John Abbott Testing Bug #1746: ManExamples target: need t reset VerbosityLevel Control-M 0.20
05 May 2024 John Abbott Testing Design #610: Variable It: assign before or after printing Big test 0.10
05 May 2024 John Abbott Documentation Design #610: Variable It: assign before or after printing Relevant source code 0.40
05 May 2024 John Abbott Development Bug #1708: Linux: just 1 executable, should be 2 (with & without readline) Progress? 0.10
05 May 2024 John Abbott Testing Bug #1634: Unexpected or unhelpful error using GroebnerFanIdeals No problem on 64-bitters 0.25
05 May 2024 John Abbott Documentation Bug #1435: Disable readline if input is redirected Useful links? 0.25
05 May 2024 John Abbott Documentation Bug #727: Emacs UI: send-file (C-c C-f) should check if buffer and file are synchronized Useful links? 0.25
02 May 2024 John Abbott Discussion Feature #1815: JSON and UUID Licence 0.10
02 May 2024 John Abbott Discussion Feature #1815: JSON and UUID Useful links? 0.10
02 May 2024 John Abbott Testing Feature #1815: JSON and UUID First goals? Further goals? 0.50
02 May 2024 John Abbott Discussion Feature #1815: JSON and UUID Some notes 1.00
29 Apr 2024 John Abbott Testing Feature #1667: GBasis over ZZ: port to CoCoALib Make progress! 0.25
26 Apr 2024 John Abbott Documentation Design #1804: Use long long (at least sometimes)? Just not to lose it 0.15
25 Apr 2024 John Abbott Development Feature #1778: Homogenizer For John 0.10
(1-25/7128) Per page: 25, 100, 500

Also available in: Atom CSV