Activity
From 18 Dec 2023 to 16 Jan 2024
16 Jan 2024
- 19:07 0.20 hour (Bug #1623 (Feedback): EmacsUI: annoying colours)
- Another variant
15 Jan 2024
- 19:54 0.10 hour (Bug #1623 (Feedback): EmacsUI: annoying colours)
- Reactivate?
- 19:49 0.25 hour (Bug #469 (Resolved): Emacs UI: keywords in multiline comments)
- Bug still there
- 19:42 0.10 hour (Design #1626 (Feedback): NewMat: should be obsolescent?)
- Obsolete or BackwardCompatible?
- 19:39 0.20 hour (Feature #1541 (New): foreach with ref to list entry?)
- Might be tricky
- 19:32 0.10 hour (Slug #1363 (In Progress): Emacs UI: slow with long lines)
- So long
04 Jan 2024
22 Dec 2023
- 20:12 0.10 hour (Slug #948 (Closed): radical is slow (compared to singular) on these examples)
- Closing
- 20:09 0.20 hour (Bug #1746 (Feedback): ManExamples target: need to reset VerbosityLevel)
- Mostly OK
- 20:06 0.25 hour (Slug #1629 (Closed): RingElem slow with many indets)
- Closing
- 19:50 0.20 hour (Bug #1745 (Closed): Printing of Hilbert series via indent)
- Closing
- 19:46 0.25 hour (Feature #1718 (Closed): FactorINT with time-out)
- Disabled time-out
- 19:30 0.20 hour (Design #1075 (Closed): LaTeX package: power-product printing)
- KISS
- 19:21 0.15 hour (Feature #1112 (Closed): New function: IsEmpty)
- Closing
- 11:29 0.10 hour (Feature #823 (Closed): NewPolyRing with weights -- better interface?)
- Name?
- 10:43 0.25 hour (Feature #823 (Closed): NewPolyRing with weights -- better interface?)
- 11:27 0.10 hour (Design #1681 (In Progress): Should Starting be case-insensitive?)
- Case-insensitive string comparison?
- 11:26 0.20 hour (Design #1681 (In Progress): Should Starting be case-insensitive?)
- Minor buglet
- 11:21 0.10 hour (Bug #1766 (Closed): Emacs 29: Removal of obsolete entries)
- Ask Nico
Also available in: Atom