Project

General

Profile

Spent time

Filters

Apply Clear

Hours: 4930.92

Date User Activity Issue Comment Hours
10 May 2024 John Abbott Discussion Design #610: Variable It: assign before or after printing Closing 0.15
10 May 2024 John Abbott Discussion Design #1496: Use "special" names for variables inside tests Rejecting 0.20
10 May 2024 John Abbott Discussion Support #1650: Potentially confusing prompt: waiting for semicolon Discussion 0.10
10 May 2024 John Abbott Discussion Support #1650: Potentially confusing prompt: waiting for semicolon Another idea 0.10
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 to 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
(1-25/7132) Per page: 25, 100, 500

Also available in: Atom CSV