Activity
From 25 Jun 2023 to 24 Jul 2023
06 Jul 2023
- 12:14 0.25 hour (Feature #1752 (New): Make it easy to run the tests in a public/distrib version)
- Some notes
29 Jun 2023
- 17:51 0.50 hour (Feature #823 (Closed): NewPolyRing with weights -- better interface?)
- More comments
27 Jun 2023
Also available in: Atom