Activity
From 31 Jul 2023 to 29 Aug 2023
06 Aug 2023
- 12:18 0.50 hour (Bug #1758 (Closed): Graeffe "sign bug")
- Changed impl
- 11:27 0.20 hour (Support #1761 (Closed): MakeTermOrdMat: improve error mesg)
- Some notes
05 Aug 2023
Also available in: Atom