Activity
From 13 Feb 2022 to 14 Mar 2022
12 Mar 2022
- 19:23 0.10 hour (Support #1393 (Feedback): GUI with Qt5)
- Why?
- 19:18 0.40 hour (Support #1393 (Feedback): GUI with Qt5)
- Works for me
07 Mar 2022
- 15:29 1.00 hour (Feature #1526 (Closed): EmacsUI: help/manual for selected string -- or just for word with cursor on?)
- 10:26 0.50 hour (Slug #1629 (Closed): RingElem slow with many indets)
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
Also available in: Atom