Activity
From 05 Feb 2022 to 06 Mar 2022
03 Mar 2022
-
20:47 1.00 hour (Support #1393 (Feedback): GUI with Qt5)
- std::thread
-
15:55 24.00 hours (Support #1393 (Feedback): GUI with Qt5)
- Don't really recall how many hours it took. According to old emails, I worked on it over the course of three to four ...
-
16:54 0.20 hour (Feature #1526 (Closed): EmacsUI: help/manual for selected string -- or just for word with cursor on?)
- Clarification
-
15:46 0.50 hour (Support #530 (Rejected): Interpreter error message: "for" with missing "do")
02 Mar 2022
-
17:28 1.00 hour (Support #169 (Closed): Font for parameters in manual)
-
16:11 4.00 hours (Support #406 (Closed): Manual for CoCoAManual/CoCoAHelp.xml)
25 Feb 2022
-
11:28 4.00 hours (Support #1393 (Feedback): GUI with Qt5)
- It works!
24 Feb 2022
-
14:23 0.10 hour (Support #530 (Rejected): Interpreter error message: "for" with missing "do")
- Useful?
23 Feb 2022
-
12:54 0.25 hour (Support #1447 (Closed): Manual entry for RandomLinearForm)
- Seems OK now
-
12:40 0.25 hour (Feature #1596 (Resolved): Add CoCoA5 function NmzHilbertBasisKer)
- Return type/value
-
12:37 0.50 hour (Design #1194 (Rejected): Rename HilbertBasisKer into LinKerHilbertBasis?)
-
12:28 0.50 hour (Support #1478 (Closed): HilbertBasis: clarify)
- Resolved
-
12:07 0.40 hour (Bug #1029 (Closed): Readline: does not recognize interrupts)
- Seems OK now
18 Feb 2022
-
17:40 0.20 hour (Support #1471 (Closed): Release CoCoA-5.4.0)
- Version number
-
17:16 0.20 hour (Support #1455 (Closed): In a release: which files inside the CoCoAManual )
-
17:15 0.10 hour (Support #1214 (Closed): CoCoAManual: ensure that LaTeX compilation is "clean")
-
17:13 2.00 hours (Support #1451 (Closed): CoCoA Manual: make search keys public)
-
17:01 0.40 hour (Design #1525 (Closed): CoCoA Manual: homogenize obsolete/obsolescent entries)
-
16:55 0.20 hour (Support #242 (In Progress): CoCoA-5 Projects for students (e.g. crediti F and tesi))
- Split?
-
16:50 0.20 hour (Feature #1415 (In Progress): thmproving package)
-
16:26 0.10 hour (Bug #1029 (Closed): Readline: does not recognize interrupts)
- Add to pre-release checks?
-
15:34 0.20 hour (Support #322 (In Progress): Installation instructions (on website))
- For linux
16 Feb 2022
-
20:37 0.10 hour (Support #1077 (Resolved): Manual: remove old stuff about "devices")
- Sooner or later
-
20:33 0.10 hour (Design #1504 (Closed): OnlineHelp: XMLFileName)
- Close?
-
20:23 0.10 hour (Support #1534 (In Progress): Install CoCoA-5 on MacOS-10.15+)
- ANNA!
-
20:21 0.10 hour (Support #406 (Closed): Manual for CoCoAManual/CoCoAHelp.xml)
- Postponing
-
20:19 0.20 hour (Design #1477 (Closed): Packages: questions from Andraschko)
- Mostly done
-
20:16 0.20 hour (Support #1455 (Closed): In a release: which files inside the CoCoAManual )
- Soon find out
-
20:11 0.20 hour (Support #1658 (Closed): LinKerZZ not documented)
- Closing
-
20:07 0.20 hour (Feature #1479 (Closed): CoCoA release for linux: CoCoAInterpreter: with and without libreadline?)
- Closing
-
20:02 0.20 hour (Feature #606 (Closed): Evaluate in ring operator (was called :: in CoCoA-4))
- Testing
-
19:57 0.20 hour (Feature #1272 (Closed): Groebner Bases over ZZ)
- Closing
-
19:53 0.25 hour (Bug #1524 (Closed): wrong SystemCommand exit value)
- Reliability
-
19:48 0.20 hour (Bug #1029 (Closed): Readline: does not recognize interrupts)
- Suggestion
14 Feb 2022
-
18:16 0.50 hour (Support #1660 (Closed): Updating file obsolescent.cpkg5: make it easier)
-
17:26 0.50 hour (Design #1525 (Closed): CoCoA Manual: homogenize obsolete/obsolescent entries)
09 Feb 2022
-
19:41 0.20 hour (Bug #922 (Closed): Release for MacOS: compilation on 10.11 incompatible with 10.6.8)
- No longer relevant
-
16:38 1.50 hour (Support #1660 (Closed): Updating file obsolescent.cpkg5: make it easier)
-
14:26 0.50 hour (Bug #946 (Resolved): Function "ideal" evaluates the argument twice)
07 Feb 2022
-
19:23 1.50 hour (Support #1660 (Closed): Updating file obsolescent.cpkg5: make it easier)
-
18:27 0.10 hour (Support #1658 (Closed): LinKerZZ not documented)
- Name?
-
18:25 0.75 hour (Support #1658 (Closed): LinKerZZ not documented)
- Doc & debug
06 Feb 2022
-
08:58 0.50 hour (Support #1471 (Closed): Release CoCoA-5.4.0)
- 3 platforms OK
05 Feb 2022
Also available in: Atom