Activity
From 25 Sep 2021 to 24 Oct 2021
21 Oct 2021
-
17:41 0.10 hour (Bug #1624 (New): CantStop playing CantStop)
- CRash
-
17:24 0.10 hour (Bug #1624 (New): CantStop playing CantStop)
- OK on linux
20 Oct 2021
-
22:04 0.10 hour (Feature #1616 (Closed): UnivariateIndetIndex: remove cocoa-5 implementation and use CoCoALib's)
- Checked in
-
15:53 0.50 hour (Feature #1616 (Closed): UnivariateIndetIndex: remove cocoa-5 implementation and use CoCoALib's)
- Almost done
18 Oct 2021
-
12:01 0.20 hour (Bug #1623 (Feedback): EmacsUI: annoying colours)
- Some notes
-
11:33 0.10 hour (Bug #1622 (New): BuiltinOneLiners -- less precise location in error messages)
- Example
-
11:30 0.10 hour (Bug #1622 (New): BuiltinOneLiners -- less precise location in error messages)
- Target?
-
11:26 0.20 hour (Support #1621 (New): Doc for the various BuiltIn files)
- Target
-
11:23 0.10 hour (Feature #1596 (Resolved): Add CoCoA5 function NmzHilbertBasisKer)
- Analogue
-
11:08 0.20 hour (Bug #928 (New): ciao, exit, quit can be used not only at top level)
- Still a problem
17 Oct 2021
-
20:49 0.50 hour (Bug #1412 (Closed): Emacs UI: font size)
- Maybe fixed
15 Oct 2021
-
20:12 0.20 hour (Bug #1412 (Closed): Emacs UI: font size)
- Relevant source
-
14:09 0.25 hour (Bug #1412 (Closed): Emacs UI: font size)
- Mighr work
12 Oct 2021
-
09:33 0.10 hour (Slug #709 (In Progress): Speed of some Normaliz calls (NmzComputation))
- Check!
-
09:27 0.10 hour (Feature #912 (In Progress): Add TUTORIALs to online manual)
- Improved
-
09:26 0.10 hour (Feature #1246 (Feedback): Revive old CoCoA4 package called "cocoa5.cpkg")
- Andraschko may have news
-
09:22 0.25 hour (Slug #1581 (New): Slow sqfr: rad(f))
- Still a problem
-
09:12 0.20 hour (Bug #1443 (Closed): Illegal instruction)
- Progress?
-
09:03 0.10 hour (Feature #1415 (In Progress): thmproving package)
- News?
05 Oct 2021
-
20:21 0.10 hour (Design #1568 (In Progress): RMap and image: obsolescent?)
- Boosting priority
04 Oct 2021
-
12:13 1.00 hour (Bug #1613 (Closed): CRASH with RingHom from FrF)
- Maybe fixed
-
12:11 1.00 hour (Bug #1614 (Closed): SourceRegion gives misleading error mesg)
- Blind leading the blind
-
11:57 0.20 hour (Design #1615 (Rejected): apply: remove for RingHom)
- Duplicate
02 Oct 2021
-
10:25 0.50 hour (Bug #1614 (Closed): SourceRegion gives misleading error mesg)
- Source code
01 Oct 2021
-
13:53 0.40 hour (Bug #1613 (Closed): CRASH with RingHom from FrF)
- GDB
-
12:35 0.40 hour (Bug #1613 (Closed): CRASH with RingHom from FrF)
- Source code
-
12:19 0.50 hour (Bug #1613 (Closed): CRASH with RingHom from FrF)
- Simpler failing example
30 Sep 2021
-
22:42 0.25 hour (Bug #1613 (Closed): CRASH with RingHom from FrF)
- Another problem
28 Sep 2021
27 Sep 2021
Also available in: Atom