Activity
From 08 May 2022 to 06 Jun 2022
31 May 2022
- 10:35 Support #169 (Closed): Font for parameters in manual
- 10:27 Support #169: Font for parameters in manual
- Can we close this issue now?
- 09:55 Support #1663: GCDList not documented
- Nor is *@ExtGcd@*.
Should this issue be about all fns which are not documented? Rather than have an issue for each ...
09 May 2022
- 11:49 Design #1681: Should Starting be case-insensitive?
- yes, I think that would be a good idea, case insensitive (ci by default if we allow both).
Also available in: Atom