Activity
From 11 Aug 2022 to 09 Sep 2022
22 Aug 2022
- 17:29 Feature #1694 (Resolved): New expv/exponents function?
- I have implemented the changes proposed in comment 4.
It all compiles, and all tests pass.
I'll check in soon.
- 16:01 Feature #1694: New expv/exponents function?
- After discussing with Anna, we think the following redesign is a good solution:
* change existing @exponents@ so tha... - 15:34 Feature #1694 (In Progress): New expv/exponents function?
- Bruns replied by email (2022-08-09):...
Also available in: Atom