Activity
From 05 Jun 2023 to 04 Jul 2023
29 Jun 2023
- 17:51 0.50 hour (Feature #823 (Closed): NewPolyRing with weights -- better interface?)
- More comments
27 Jun 2023
- 18:21 0.10 hour (Support #1675 (Closed): Version 5.4.0 requires Visual C++ Runtime 2013 on Windows)
- Update
23 Jun 2023
Also available in: Atom