Activity
From 06 May 2022 to 04 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).
06 May 2022
- 21:15 Design #1681 (In Progress): Should Starting be case-insensitive?
- Currently *@starting@* is case-sensitive
_e.g._ @starting("J")@ and @starting("j")@ give quite different results....
Also available in: Atom