Activity
From 03 Apr 2023 to 02 May 2023
28 Apr 2023
-
16:01 CoCoALib 0.25 hour (Design #1736 (New): Clean TmpGOperations, and remove Tmp prefix)
- Some notes
25 Apr 2023
-
21:31 CoCoALib 0.50 hour (Design #1735 (Rejected): PushFront/PushBack without checks?)
- Origin
12 Apr 2023
-
22:05 CoCoA-5 0.20 hour (Feature #1731 (In Progress): Verbosity level in CoCoA5)
- Bad idea?
-
14:50 CoCoA-5 2.00 hours (Feature #1731 (In Progress): Verbosity level in CoCoA5)
-
14:44 CoCoA-5 1.00 hour (Bug #1734 (Closed): Fix call to HilbertPoly in test/TutHokkaido5)
Also available in: Atom