Activity
From 19 Jun 2023 to 18 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
- 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