Activity
From 22 May 2020 to 20 Jun 2020
20 Jun 2020
- 21:36 1.00 hour (Feature #1461 (Closed): Automatic mapping for multiplication?)
- Mostly done
- 21:33 1.50 hour (Feature #7 (Resolved): Automatic mapping between (some) rings)
- Partly done
- 21:32 0.10 hour (Design #635 (Closed): Automatic mapping of RingElem (in operation with a compound value))
- Works now
16 Jun 2020
- 16:50 0.20 hour (Bug #1412 (Closed): Emacs UI: font size)
- More notes
10 Jun 2020
Also available in: Atom